Hackage :: [Package]

Metadata revisions for Hsmtlib-2.8.8.8

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-2.8.8.8-r1) 2014-07-18T16:26:56Z roger62 01f30561cce8648a656f075ba1e1f8c23144e7f10c6377a7949881dc513f8a89

  • Changed author from 

    Nuno Laranjo And Rogério Pontes
    to 
    Nuno Laranjo And Rogério Pontes

  • 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-2.8.8.8-r0) 2014-07-02T23:01:20Z roger62 5c15291ccedfacb536e2533851fa260a8812607ad49202bb2e056eb8201afb6c