Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

smtlib2

Ecosystem
hackage.haskell.org
Latest Release
0.3.1
almost 10 years ago
Versions
5
Downloads
4,583 total
Dependent Packages
1
Dependent Repos
4
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/smtlib2
    spec
    License GPL-3.0-only
    First Release over 11 years ago
    Last Synced 13 days ago
    Keywords
    formal-methods gpl library smt symbolic-computation theorem-provers Propose Tags