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

• cljdoc
• 217 Downloads
• 6 This Version

Leiningen/Boot

[org.clojars.pkoerner/lisb "0.0.1-SNAPSHOT"]

Clojure CLI/deps.edn

org.clojars.pkoerner/lisb {:mvn/version "0.0.1-SNAPSHOT"}

Gradle

implementation("org.clojars.pkoerner:lisb:0.0.1-SNAPSHOT")

Maven

<dependency>
  <groupId>org.clojars.pkoerner</groupId>
  <artifactId>lisb</artifactId>
  <version>0.0.1-SNAPSHOT</version>
</dependency>

Note: this artifact is a non-canonical fork. See the wiki for more details.