Data

Tools

Indexes

Applications

Experiments

Packages

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

org.clojars.pkoerner/lisb

lisb: A Clojure library that wraps ProB's constraint solver. Use it to write/transform B machines with less pain or interact with the constraint solver.

Ecosystem
clojars.org
Latest Release
0.0.6
about 1 year ago
Versions
5
Downloads
1,006 total
    Loading...
    Readme
    Loading...
    Links
    Registry clojars.org
    Source Repository
    Docs Documentation
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:clojars/org.clojars.pkoerner%2Flisb
    spec
    License EPL-1.0
    Namespace org.clojars.pkoerner
    First Release almost 5 years ago
    Last Synced 16 days ago
    Keywords
    b-method dsl embedding event-b formal-methods model-transformations tooling
    Repository
    Stars 5 on GitHub
    Forks 2 on GitHub
    repos.ecosyste.ms