search

sat-group / open-wbo

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

Nits #10

Closed conp-solutions closed 5 years ago

conp-solutions commented 5 years ago

Thie change helps to use open-wbo as backend of maxpre, as at least the help description there mentions to run the tool by reading input from stdin.