Data

Tools

Indexes

Applications

Experiments

Packages

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

sbv-program

Given a library of available componen functions, synthesize a program implementing a specification.

Ecosystem
hackage.haskell.org
Latest Release
1.1.0.0
about 3 years ago
Versions
2
Downloads
198 total
Dependent Repos
1
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/sbv-program
    spec
    License BSD-3-Clause
    First Release about 3 years ago
    Last Synced 24 days ago
    Keywords
    bit-vectors bsd3 formal-methods library smt symbolic-computation Propose Tags
    Repository
    Stars 0 on GitHub
    Forks 2 on GitHub
    repos.ecosyste.ms