hackage.haskell.org : bindings-yices
Registry
- JSON
purl: pkg:hackage/bindings-yices
Keywords:
ffi
, foreign
, library
, public-domain
, theorem-provers
, Propose Tags
License: Other
Latest release: almost 10 years ago
First release: over 15 years ago
Dependent repositories: 1
Downloads: 4,055 total
Last synced: 15 days ago
Loading...
Readme
Loading...