Hackage :: [Package]

Metadata revisions for Hsmtlib-0.2.0.6

Package maintainers and Hackage trustees are allowed to edit certain bits of package metadata after a release, without uploading a new tarball. Note that the tarball itself is never changed, just the metadata that is stored separately. For more information about metadata revisions, please refer to the Hackage Metadata Revisions FAQ.

No. Time User SHA256
-r1 (Hsmtlib-0.2.0.6-r1) 2014-07-18T16:27:49Z roger62 37c3a0c87973911cf451acbe1b88e752a2f1b7c076b453c6b6217b46281b5df5

  • Changed description from 

    Hsmtl provides functions to interact with several smt solvers using SMT-LIB 2.
The current suported solvers are Alt-Ergo, Cvc4, MathSat, Yices, Z3.
Additional solvers can be used if they are SMT-LIB 2 compliant.
More information and tutorials can be found in <https://github.com/MfesGA/Hsmtlib>
    to 
    Hsmtl provides functions to interact with several smt solvers using SMT-LIB 2.
The current suported solvers are Cvc4, MathSat, Z3.
Additional solvers can be used if they are SMT-LIB 2 compliant.
More information and tutorials can be found in <https://github.com/MfesGA/Hsmtlib>
-r0 (Hsmtlib-0.2.0.6-r0) 2014-07-03T14:03:16Z roger62 1cc41b8467c55c1a6a4db666ebf1886d216d5778eaacae8f828651085e187e90