Artifacts using ProB Java (3)
The ProB Java API, including Groovy extensions
Last Release on Aug 28, 2026
3.Lisb
org.clojars.pkoerner » lisb EPL
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.
Last Release on Sep 3, 2025
- Prev
- 1
- Next