@hackage / pseudo-boolean

Reading/Writing OPB/WBO files used in pseudo boolean competition

0.1.12.0

Dependents

@hackage / toysolver Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
- Version: 0.9.0
- Last uploaded: about 1 year ago
- License: BSD-3-Clause