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.MaxSAT2NLPB

Description

Documentation

convert :: WCNF -> Formula Source