Skip to content
GitLab
Explore
Sign in
Register
Naps
naps
Repository
Branches
Overview
Active
Stale
All
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