Geeks
sbjoshi
/
Open-WBO-Inc
An incomplete MaxSAT solver for weighted MaxSAT problems
Primary Language
C++
Other
NOASSERTION
Open-WBO-Inc GitHub
Markdown
Readme
2
Issues
5
Stargazers
3
Watchers
Issues
Closed issue
How to set the maximum running time?
#2 opened
2 years ago
by
Archer222arc
2
Open issue
Erroneous output with empty solution value
#1 opened
4 years ago
by
Armael
6