hackage.haskell.org : yices-easy
Registry
- Homepage
- JSON
purl: pkg:hackage/yices-easy
Keywords:
algorithms
, bsd3
, library
, math
, theorem-provers
, Propose Tags
License: BSD-3-Clause
Latest release: almost 15 years ago
First release: almost 15 years ago
Downloads: 1,232 total
Last synced: about 3 hours ago