toysolver-0.0.6: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Portability	portable
Stability	experimental
Maintainer	masahiro.sakai@gmail.com
Safe Haskell	Safe-Inferred

Converter.SAT2PB

Description

Documentation

convert :: CNF -> Formula Source