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

Safe Haskell	None
Language	Haskell2010

ToySolver.Version

Documentation

version :: Version Source #

packageVersions :: [(String, String)] Source #

gitHash :: Maybe String Source #

compilationTime :: UTCTime Source #