Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / IagoAbal / haskell-z3

Haskell bindings to Microsoft's Z3 API (unofficial).

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/IagoAbal%2Fhaskell-z3

Stars: 57
Forks: 43
Open Issues: 17

License: other
Language: Haskell
Repo Size: 824 KB
Dependencies: 3

Created: about 6 years ago
Updated: 6 days ago
Last pushed: 3 months ago
Last synced: 6 days ago

Topics: api, haskell, smt, z3

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/coverage.yml actions
    .github/workflows/testsuite.yml actions