potassco / clingo-rs

Related projects ⓘ

Alternatives and complementary repositories for clingo-rs

• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆81Updated this week
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆31Updated 3 years ago
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆143Updated last year
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆83Updated 4 years ago
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆96Updated last year
• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆39Updated last week
• jix / varisat
  SAT solver written in Rust
  ☆254Updated 2 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆63Updated 3 weeks ago
• przygienda / dot-rust
  A library for generating Graphviz DOT language files for graphs.
  ☆73Updated last year
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆285Updated last month
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆66Updated 6 months ago
• ekzhang / crepe
  Datalog compiler embedded in Rust as a procedural macro
  ☆463Updated 8 months ago
• kamadorueda / santiago
  Santiago is a lexing and parsing toolkit for Rust
  ☆97Updated 2 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆24Updated 4 months ago
• rust-formal-methods / rust-formal-methods.github.io
  ☆11Updated 3 weeks ago
• matklad / proc-caesar
  A proc-macro to break Rust IDEs
  ☆63Updated 3 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆58Updated 3 months ago
• matklad / cov-mark
  ☆55Updated 5 months ago
• potassco / flatzinc
  🫓 A parser for the FlatZinc modelling language
  ☆11Updated last month
• ptal / intervallum
  Integer interval arithmetic library
  ☆17Updated 11 months ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆23Updated 7 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
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆26Updated 2 years ago
• brownsys / paralegal
  Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…
  ☆15Updated this week
• fitzgen / id-arena
  A simple, id-based arena
  ☆115Updated last year
• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆91Updated last month
• charlesvdv / nom-bibtex
  A feature complete bibtex parser using nom
  ☆24Updated 5 months ago
• rust-analyzer / expect-test
  Minimalistic snapshot testing for Rust.
  ☆251Updated 6 months ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆46Updated 2 years ago