toysolver-0.3.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
ToySolver.Version
version :: Version Source
packageVersions :: [(String, String)] Source