lwb Logic WorkBench
esb-lwb/lwb
cljdoc- 766 Downloads
- 75 This Version
Leiningen/Boot
[lwb "1.0.2"]
Clojure CLI/deps.edn
lwb/lwb {:mvn/version "1.0.2"}
Gradle
implementation("lwb:lwb:1.0.2")Maven
<dependency> <groupId>lwb</groupId> <artifactId>lwb</artifactId> <version>1.0.2</version> </dependency>
Pushed by
burt on Feb 16, 2018 with this git treeRecent Versions
Dependencies
- org.clojure/clojure 1.9.0
- org.clojure/spec.alpha 0.1.143
- org.clojure/core.specs.alpha 0.1.24
- org.clojure/core.logic 0.8.11
- net.mikera/core.matrix 0.61.0
- org.clojure/tools.macro 0.1.5
- org.clojure/math.combinatorics 0.1.4
- org.clojure/math.numeric-tower 0.0.4
- potemkin 0.4.4
- org.ow2.sat4j/org.ow2.sat4j.core 2.3.5
- de.fosd.typechef/javabdd_repackaged_2.10 0.1
- ltl2buchi 1.0.0
- kodkod 2.1.0
Homepage
http://homepages.thm.de/~hg11260/lwb.htmlLicense
Version Badge
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:
