potassco / flatzinc

Related projects ⓘ

Alternatives and complementary repositories for flatzinc

• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆30Updated last year
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆81Updated this week
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆39Updated 2 months ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆83Updated 4 years ago
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆31Updated 3 years ago
• qnighy / ratsat
  MiniSat reimplemented in Rust
  ☆20Updated 6 years ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 2 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• rodolf0 / tox
  misc parsers in rust
  ☆66Updated this week
• ptal / intervallum
  Integer interval arithmetic library
  ☆17Updated 11 months ago
• ptal / pcp
  Constraint programming in Rust
  ☆102Updated last year
• caphindsight / ergothic
  Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.
  ☆41Updated 5 years ago
• rust-formal-methods / wg
  ☆22Updated 2 years ago
• Kixiron / tagged-box
  A no_std, zero-dependency crate for the creation and management of NaN-boxed types with Box-like semantics, tagged pointers and a macro i…
  ☆19Updated 4 years ago
• lakwet / voracious_sort
  Voracious radix sort
  ☆65Updated 11 months ago
• jix / starlit
  CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…
  ☆10Updated 2 years ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆45Updated last year
• mAarnos / Serkr
  An automated theorem prover for first order logic.
  ☆28Updated 7 years ago
• fitzgen / minisynth-rs
  Program synthesis is possible in Rust
  ☆24Updated 6 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆66Updated 6 months ago
• shackle-rs / shackle
  A constraint modelling and rewriting library and compiler framework written in rust
  ☆22Updated this week
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆48Updated 2 years ago
• KhaledSharif / TsetlinMachine
  An implementation of the Tsetlin Machine in Rust
  ☆16Updated 6 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆24Updated 6 years ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• auxoncorp / tnfilt
  ☆32Updated 2 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• ehebrard / Mistral-2.0
  ☆31Updated 9 months ago
• rust-ml / enzyme_build
  A repo just containing everything to build a working enzyme/rustc/llvm/clang stack.
  ☆9Updated 2 years ago