toysolver-0.6.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
ToySolver.Version
version :: Version Source #
packageVersions :: [(String, String)] Source #
gitHash :: Maybe String Source #
compilationTime :: UTCTime Source #