Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: clojars: org.ow2.sat4j/org.ow2.sat4j.core
View more package details: https://packages.ecosyste.ms/registries/clojars.org/packages/org.ow2.sat4j/org.ow2.sat4j.core
Dependent Repos 6
esb-lwb/lwb
Logic Workbench, a Clojure toolkit for propositional, predicate and linear temporal logic- 2.3.6 project.clj
Size: 1.27 MB - Last synced: about 2 months ago - Pushed: over 1 year ago
esb-dev/kic
A Clojure library wrapping the Kodkod constraint solver- 2.3.5 project.clj
Size: 293 KB - Last synced: about 2 months ago - Pushed: over 9 years ago
Engelberg/rolling-stones
A Clojure interface to the Sat4j satisfaction solver.- 2.3.6 project.clj
Size: 44.9 KB - Last synced: about 2 months ago - Pushed: over 1 year ago
rbarzic/boolean-logic
experimentation with boolean logic and clojure- 2.3.5 project.clj
Size: 38.1 KB - Last synced: 21 days ago - Pushed: over 8 years ago
moerkb/logic-workbench
Logical workbench (research project by www.thm.de)- 2.3.4 project.clj
Size: 13.7 MB - Last synced: 8 months ago - Pushed: almost 10 years ago
rbarzic/boolean-logic
experimentation with boolean logic and clojure- 2.3.5 project.clj
Size: 81.1 KB - Last synced: over 1 year ago
locusmath/locus
A specialised computer algebra system for topos theory.- 2.3.6 project.clj
Size: 4.1 MB - Last synced: 9 months ago - Pushed: 9 months ago