issues
search
sat-group
/
open-wbo
Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
Other
69
stars
12
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
mpxx.h' file not found
#16
Kerry12342
opened
6 months ago
2
fix: print-unsat-soft core dump error
#15
Yurzi
opened
10 months ago
0
Print intermediate solutions
#14
ozgurakgun
opened
4 years ago
1
Assertion
#13
pwn1
closed
5 years ago
6
C++ api availability
#12
henriksjostrom
opened
5 years ago
3
sanitization: make available
#11
conp-solutions
closed
5 years ago
0
Nits
#10
conp-solutions
closed
5 years ago
0
Cygwin
#9
ghost
opened
5 years ago
0
limits: introduce cpu-lim and mem-lim
#8
conp-solutions
closed
5 years ago
0
specify cpu time and memory limit
#7
ndangtt
closed
5 years ago
4
Floating point exception for pseudo-Boolean?
#6
JoD
opened
5 years ago
4
tests: add valgrind test
#5
conp-solutions
closed
5 years ago
1
fix: signed vs unsigned
#4
conp-solutions
closed
5 years ago
0
Understanding output and recovering unsatisfied clauses
#3
dhruvparamhans
closed
6 years ago
4
Upstream
#2
conp-solutions
closed
6 years ago
2
Run open-wbo with multiple threads
#1
haghshenas
closed
6 years ago
5