Packages tagged smt----------
1 package has this tag.
[Merge tag] (trustees only)Related tags: bsd3 (1), library (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
Hsmtlib | 5 | 0.0 | 1 | Haskell library for easy interaction with SMT-LIB 2 compliant solvers. | (bsd3, library, smt----------) | 2014-07-02 | 2.8.8.8 | roger62 |