Skip to content
GitLab
Explore
Sign in
Register
Naps
naps
Repository
Branches
Overview
Active
Stale
All
dev-kissat
5a7477c0
·
showing Goal-BDD-cost in -v2 mode, reducing number of primes for optimal base
·
May 13, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
dev-cadical
58d77e4e
·
support for a new 'goal-lb' option
·
May 08, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
refactor
7baa5790
·
silly change (indent, debug info)
·
May 01, 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