issues
search
niklasso
/
minisat
A minimalistic and high-performance SAT solver
minisat.se
Other
1.01k
stars
381
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Windows binary
#51
PolarGoose
opened
3 months ago
0
Address a g++ compiler error and various warnings
#50
spakin
opened
7 months ago
0
Moved definition of 'hash()' before use as it was causing some issues.
#49
isma-3788
opened
9 months ago
0
The way Minisat actually solves CNF clauses
#48
anhpham197
opened
1 year ago
0
Rename Readme to readme.md
#47
haris-khan1596
opened
1 year ago
0
--version
#46
shafiuzzaman-md
opened
1 year ago
1
error: friend declaration of 'Minisat::Lit mkLit(Minisat::Var, bool)' specifies default arguments and isn't a definition
#45
trcrsired
opened
2 years ago
2
what is cnf-file?
#44
llllllzf
opened
2 years ago
1
Ci extensions
#43
conp-solutions
closed
2 years ago
0
Added spaces around PRIu64 macro to suppress C++11 warnings
#42
yberman
opened
3 years ago
0
Correct the compiler warnings
#41
MathieuDutSik
opened
3 years ago
1
Improve ci
#40
conp-solutions
closed
4 years ago
1
Find a solution that contains as few values assigned to be true as possible.
#39
wfz0755
closed
4 years ago
7
Read-only file system
#38
verifierlife
closed
4 years ago
1
--soname linker error
#37
karthik-titech
opened
4 years ago
1
Fix compilation errors
#36
jordi-petit
opened
5 years ago
0
Update README
#35
yadamit
opened
5 years ago
0
unexpected results running minisat on SATLIB benchmark tests
#34
emasab
closed
5 years ago
2
fix c++11 std compliance
#33
Udopia
opened
5 years ago
0
Fix drat
#32
conp-solutions
closed
6 years ago
1
Solution to issue #16 #1 on MacOX
#31
zhzdeng
opened
7 years ago
0
Understanding Question
#30
ioah86
opened
7 years ago
2
Compiling problem when using API with newer g++ version
#29
p4p4
opened
7 years ago
1
Moved default argument from friend declaration to function declaration
#28
zaddach
opened
8 years ago
0
Specify default argument in the declaration not the friend declaration
#27
msoos
opened
8 years ago
3
Asymmetric branching skips clauses
#26
mishun
opened
8 years ago
1
Makefile: fix lib rule
#25
jirislaby
opened
8 years ago
0
Fixing problems with compilation using C++11 compilers
#24
msoos
opened
9 years ago
0
Make the default binary statically linked.
#23
ntc2
opened
9 years ago
0
Compilation bug with clang 3.4
#22
msoos
opened
9 years ago
4
Async interrupt should not work
#21
msoos
opened
9 years ago
0
Minor logic errors in simplification
#20
chanseokoh
opened
9 years ago
11
Bug caught by SWDiA5BY authors?
#19
msoos
closed
9 years ago
3
Fix compilation for non-linux OS's
#18
jbransen
opened
10 years ago
0
Solution to issue #16 (illegal friend declaration of mkLit)
#17
fniksic
opened
10 years ago
2
Declaration of mkLit breaks compilation on OS X (with clang-503.0.40)
#16
fniksic
opened
10 years ago
5
Running minisat on visual studio (windows)
#15
johnsmith12
opened
10 years ago
0
Resolution for bug tracker issues #1, #4, #9, #10, #12, #13, #14.
#14
Siesh1oo
opened
10 years ago
2
Reserved user defined literal: Space needed between string and PRIi64 token
#13
Siesh1oo
opened
10 years ago
1
OSX Portability issues
#12
Siesh1oo
opened
10 years ago
0
analyzeFinal's returned clause is not minimal
#11
msoos
closed
10 years ago
5
Fixed "memUsedPeak not defined" bug on Mac OSX
#10
thejoelw
opened
10 years ago
5
Fix compilation error on non-Linux systems
#9
jgalenson
opened
10 years ago
1
Allow '-' to be passed as input and output.
#8
vstakhov
opened
10 years ago
0
Using std::numeric_limits<> instead of macros INT32/INT64_MAX/MIN
#7
msoos
opened
11 years ago
0
Modifications for compilation in Windows (without Zlib)
#6
PetterS
closed
11 years ago
0
Update CMakeLists.txt to compile with optimizations.
#5
PetterS
closed
11 years ago
6
Fix Makefile for Mac OS X
#4
surma
closed
6 years ago
1
assertion is hit in SimpSolver::relocAll
#3
vkhomenko
opened
12 years ago
1
All lines must be postfixed with "0"
#2
jonnybest
opened
13 years ago
1
Next