search

sat-group / open-wbo

Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
Other
69 stars 12 forks source link

fix: print-unsat-soft core dump error #15

Open Yurzi opened 10 months ago