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.
  ☆62Updated last month
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated last month
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆32Updated 9 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 5 months ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆91Updated 3 weeks ago
• ammkrn / timelib
  A date and time library for Lean 4
  ☆12Updated last week
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆23Updated 3 weeks ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated last year
• ptal / pcp
  Constraint programming in Rust
  ☆105Updated last year
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• jfecher / golden-tests
  A golden file testing library for rust
  ☆33Updated 2 months ago
• Robbepop / stevia
  A simple (unfinished) SMT solver for QF_ABV.
  ☆36Updated 6 years ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated last week
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆86Updated 4 years ago
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆39Updated 7 months ago
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆61Updated 2 years ago
• cormacrelf / incremental-rs
  A Rust port of Jane Street's Incremental library.
  ☆23Updated 3 months 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
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 10 months ago
• dyaso / klein-ported-to-rust
  Port of Jeremy Ong's SIMD-enabled projective geometric algebra library
  ☆16Updated 4 years ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated this week
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated last year