Alternatives and similar repositories for shackle:

Users that are interested in shackle are comparing it to the libraries listed below

• xgillard / ddo
  DDO a generic and efficient framework for MDD-based optimization.
  ☆60Updated 2 months ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆32Updated this week
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆87Updated this week
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 3 months ago
• ptal / pcp
  Constraint programming in Rust
  ☆104Updated last year
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆13Updated 2 years ago
• xcsp3team / cosoco
  COmpact SOlver for COnstrained problems
  ☆12Updated last week
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• Robbepop / stevia
  A simple (unfinished) SMT solver for QF_ABV.
  ☆36Updated 5 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆13Updated 4 years ago
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆23Updated 8 months ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• KaiserKarel / set-trie
  Fast subset and superset queries based on tries.
  ☆11Updated last year
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆30Updated last month
• dtolnay / serde-stacker
  Serializer and Deserializer adapters that avoid stack overflows by dynamically growing the stack
  ☆33Updated this week
• miestrode / ekege
  A different approach to an E-graph library
  ☆25Updated 4 months ago
• mstone / depict
  depict – share mental models better
  ☆36Updated last year
• calebwin / rep
  enforce representation/class invariants in your Rust data structures
  ☆12Updated 2 years ago
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆86Updated 4 years ago
• cormacrelf / incremental-rs
  ☆21Updated last month
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆102Updated this week
• lqd / datapond
  A set of tools for working with datafrog
  ☆22Updated 5 years ago
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆15Updated 3 years ago
• unageek / inari
  A Rust implementation of interval arithmetic (IEEE 1788)
  ☆36Updated 3 weeks ago