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

Description

Documentation

convert :: Formula -> ShowS Source