shackle-rs / shackle

Related projects ⓘ

Alternatives and complementary repositories for shackle

• xgillard / ddo
  DDO a generic and efficient framework for MDD-based optimization.
  ☆59Updated 2 months ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆30Updated last year
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆27Updated 10 months ago
• ptal / pcp
  Constraint programming in Rust
  ☆102Updated last year
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆30Updated 5 months ago
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆12Updated 2 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆22Updated last year
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆31Updated 3 years ago
• ehebrard / Mistral-2.0
  ☆31Updated 9 months ago
• bruceg / criterion-linux-perf
  Integration of Linux's perf counters for the Rust criterion benchmarking framework
  ☆9Updated 2 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆81Updated this week
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• readysettech / proptest-stateful
  Library for building stateful property tests using the proptest crate
  ☆23Updated 5 months ago
• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 7 years ago
• meithecatte / rustc-sat
  Makes rustc's exhaustiveness checker solve SAT problems
  ☆15Updated 3 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆24Updated 4 months ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆41Updated 3 weeks ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆26Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• egraphs-good / extraction-gym
  benchmarking e-graph extraction
  ☆36Updated 2 weeks ago
• miestrode / ekege
  A different approach to an E-graph library
  ☆22Updated last month
• graydon / exhaustigen
  ☆10Updated 3 years ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 2 years ago
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆15Updated 3 months ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated last year
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• mpdn / radix-heap
  Radix heap implementation in Rust
  ☆31Updated 6 months ago
• informarte / yuck
  Yuck is a local-search constraint solver with FlatZinc interface
  ☆56Updated 3 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated last year