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.
N/A
[org.clojars.pkoerner/lisb "0.0.1"]
org.clojars.pkoerner/lisb {:mvn/version "0.0.1"}
implementation("org.clojars.pkoerner:lisb:0.0.1")
<dependency> <groupId>org.clojars.pkoerner</groupId> <artifactId>lisb</artifactId> <version>0.0.1</version> </dependency>
Note: this artifact is a non-canonical fork. See the wiki for more details.
Want to display the latest version of your project on GitHub? Use the markdown code below!
If you want to include pre-releases and snapshots, use the following markdown code: