search

sat-group / open-wbo

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

fix: signed vs unsigned #4

Closed conp-solutions closed 5 years ago

conp-solutions commented 5 years ago

When compiling with a recent compiler, and stronger checking, signed vs unsigned comparison have to be avoided to pass the checks.