lwb Logic WorkBench
esb-lwb/lwb
cljdoc- 766 Downloads
- 82 This Version
Leiningen/Boot
[lwb "2.1.5"]
Clojure CLI/deps.edn
lwb/lwb {:mvn/version "2.1.5"}
Gradle
implementation("lwb:lwb:2.1.5")Maven
<dependency> <groupId>lwb</groupId> <artifactId>lwb</artifactId> <version>2.1.5</version> </dependency>
Pushed by
burt on Jan 15, 2020 with this git treeRecent Versions
Dependencies
- org.clojure/clojure 1.10.0
- org.clojure/spec.alpha 0.2.176
- org.clojure/core.specs.alpha 0.2.44
- org.clojure/core.logic 0.8.11
- net.mikera/core.matrix 0.62.0
- org.clojure/tools.macro 0.1.5
- org.clojure/math.combinatorics 0.1.6
- org.clojure/math.numeric-tower 0.0.4
- potemkin 0.4.5
- 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://esb-dev.github.io/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:
