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