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