issues
search
msoos
/
cryptominisat
An advanced SAT solver
https://www.msoos.org
Other
797
stars
180
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
unittest.makeSuite is removed in Python3.13
#755
jelly
opened
4 days ago
2
Parsing for multiple 'c ind' lines
#754
tanyongkiam
closed
2 weeks ago
2
searcher.cpp & occsimplifier.cpp: "no member named ‘randDblExc’"
#753
Geremia
opened
3 weeks ago
1
use tomli instead of toml
#752
dimpase
closed
1 month ago
0
Feature request. Please add a generator for Weierstrass/Edwards curve on finite field arithmetic.
#751
ytrezq
closed
1 month ago
1
minor change in readme for checkout correctly
#750
arijitsh
closed
1 month ago
1
Fix tests with Python 3.12
#749
antonio-rojas
closed
1 month ago
1
-DSTATS=ON → "Could NOT find SQLITE3 (missing: SQLITE3_LIBRARY)"
#748
Geremia
closed
1 month ago
6
moving from toml to tomli?
#747
dimpase
closed
1 month ago
1
Building CBMC with CMS backend via IPASIR?
#746
Geremia
closed
1 month ago
2
`--pre-proc` gone in v5.11.21
#745
Geremia
closed
2 months ago
4
IDRUP Support
#744
m-fleury
opened
2 months ago
5
5.5.20 FTBFS with bosphorus
#743
antonio-rojas
closed
3 months ago
6
Blocked clause until UNSAT searcher
#742
GregoryMorse
closed
3 months ago
2
c [occ-empty-res] Empty resolvent elimed: 101 T: 0.45 T-out: N *** picosat: compiled without trace support
#741
PeterMacGonagan
closed
4 months ago
8
How to estimate the SAT Solving time?
#740
Gary-oak-Star
closed
4 months ago
4
Extracting contradictions from UNSAT
#739
na3na3na
closed
5 months ago
1
Weighted variables
#738
na3na3na
closed
6 months ago
1
Setting Literal Polarity
#737
gaspard-quenard
closed
6 months ago
4
Incorrect Full Model
#736
AL-JiongYang
closed
4 months ago
2
parsing of dimacs for c++ library usage
#735
na3na3na
closed
7 months ago
2
Could not build 5.11.14 on Linux without -DONLY_SIMPLE=ON
#734
mister-walter
closed
7 months ago
7
MPI compilation doesn't work
#733
marino-mrc
closed
7 months ago
1
Compilation fails when DSTATS=ON
#732
marino-mrc
closed
7 months ago
2
Louvain Libraries needed if DSTATS=ON
#731
marino-mrc
closed
7 months ago
3
Assertion is failing
#730
GregoryMorse
closed
7 months ago
8
Build with m4ri fails
#729
antonio-rojas
closed
7 months ago
2
Feature of rollbacking
#728
linsushi
closed
8 months ago
1
C++ interface linker issues
#727
KranNaut
closed
9 months ago
2
IPASIR usage documentation
#726
MikolasJanota
closed
9 months ago
7
Version of the c++ compiler required has not been specified
#725
tekeuange23
closed
9 months ago
2
cryptominisat5_simple outputs a string without prefix 'c '
#724
vale1410
closed
10 months ago
1
Unexplainable behavior on a SAT instance
#723
kix6lj
closed
10 months ago
1
support buffer protocol in Solver.add_clauses
#722
fanosta
closed
11 months ago
4
Limit the number of truth values in the xor+cnf file
#721
Han-sx
closed
11 months ago
1
Encoding question
#720
t-dim
closed
1 year ago
3
Extended resolution in Cryptominisat
#719
amatuag
closed
1 year ago
1
Update newpython.yml
#718
msoos
closed
1 year ago
0
import pycryptosat failed
#717
Flians
closed
1 year ago
16
Ask cryptominisat to work only on a subset of variables
#715
LeandreBl
closed
1 year ago
4
LARGEMEM=ON, but ID of stats/frat is uint32_t/int32_t, gives assertion in very special case (high number of 3 long clauses)
#714
capiman
closed
1 year ago
2
Update codeql-analysis.yml
#713
capiman
closed
1 year ago
0
CodeQL to help to find optimizations/speed up code
#712
capiman
closed
1 year ago
2
preproc option does not work
#711
ale-depi
closed
1 year ago
4
Segmentation fault
#710
vlastikw
opened
1 year ago
4
Fix typo in README.
#709
am009
closed
1 year ago
1
Include <cstdint> explicitly where required
#708
rodgert
closed
1 year ago
1
Catch boost errors to avoid core dump in case of wrong command line parameters
#707
capiman
closed
1 year ago
0
Displayed time (of some parts) not complete?
#706
capiman
closed
1 year ago
1
Core dump on command line parameter error
#705
capiman
closed
1 year ago
3
Next