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