Skip to content
GitLab
Explore
Sign in
Register
Naps
naps
Repository
Branches
Overview
Active
Stale
All
Active branches
dev-cadical
a11fc9fe
·
1.02c10: add preprocessing before first solving
·
Apr 28, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bug_opt
6da0f484
·
fixed assert failure seq.size() > 0 in OptimalBase.h:46
·
Apr 27, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
refactor
e66b6397
·
option -noProp
·
Apr 26, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
13a1494f
·
fixed a bug of -mc
·
Apr 24, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
proj_count
86cfb3cb
·
Introduction of declaration of interested variables for project model count.
·
Apr 18, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
version-1.00
protected
af9a253a
·
version 1.00
·
Jun 13, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
version-1.01
protected
b15c685e
·
version 1.01 (bugfixed version of 1.00
·
Jun 13, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
version-1.02b
protected
5956838a
·
version1.02b
·
Jun 13, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
version-1.02b1
protected
c6fe72f3
·
force noSimp for es1sat solver
·
Jun 30, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
manyglucose
f9829216
·
silly change
·
Jun 14, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar