Skip to content
GitLab
Explore
Sign in
Luc Libralesso
tagada
Repository
Branches
Overview
Active
Stale
All
master
default
17c4c7a2
·
Update specs submodule
·
Oct 27, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
docker_scripts
f9794f62
·
Merge remote-tracking branch 'origin/master' into docker_scripts
·
Oct 27, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
single-key
1025a9d5
·
Update documentation to v2.0.0
·
Apr 04, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
xcsp
9fe06468
·
Experiments for XCSP competition
·
Apr 28, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
sat
159afcfd
·
wip sat
·
Mar 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
export_operators
d315ff99
·
improve shebang
·
Jan 30, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
4-cryptosystem-error-hight
55af62df
·
Addition of reference for Simeck
·
Dec 10, 2021
!1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
clusters
48c35c21
·
Merge branch 'master' into clusters
·
May 18, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
midori
81b21c8f
·
May be useless
·
Apr 30, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
serde
605be07f
·
data
·
Apr 06, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
json
440f3da3
·
final?
·
Apr 02, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar