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 Changes
-r1 Fri Jul 18 16:26:56 UTC 2014 roger62
  • 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 Wed Jul 2 23:01:20 UTC 2014 roger62