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.
  ☆61Updated last month
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated last month
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆13Updated 2 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 2 months ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆103Updated this week
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆88Updated last week
• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 2 years ago
• ammkrn / timelib
  A date and time library for Lean 4
  ☆11Updated 11 months ago
• digama0 / frat
  DRAT proof processor
  ☆14Updated last year
• Robbepop / stevia
  A simple (unfinished) SMT solver for QF_ABV.
  ☆36Updated 6 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆31Updated 8 months ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• ptal / pcp
  Constraint programming in Rust
  ☆105Updated last year
• krobelus / rate
  DRAT/DPR proof checker
  ☆9Updated 3 years ago
• rutgers-apl / rlibm-all
  RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…
  ☆15Updated last year
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆14Updated this week
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 4 years ago
• chuffed / chuffed
  The Chuffed CP solver
  ☆104Updated last week
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆14Updated 4 years ago
• agentultra / lean-4-hackers
  ☆17Updated 3 years ago
• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 7 years ago
• informarte / yuck
  Yuck is a local-search constraint solver with FlatZinc interface
  ☆57Updated 8 months ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆29Updated 2 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year