Data

Tools

Indexes

Applications

Experiments

Packages

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

clojars.org "embedding" keyword

org.clojars.pkoerner/lisb 0.0.6
lisb: A Clojure library that wraps ProB's constraint solver. Use it to write/transform B machines...
5 versions - Latest release: about 1 year ago - 1.01 thousand downloads total - 5 stars on GitHub - 1 maintainer
Related Keywords
b-method 1 dsl 1 event-b 1 formal-methods 1 model-transformations 1 tooling 1