Alternatives and similar repositories for clingo-rs

Users that are interested in clingo-rs are comparing it to the libraries listed below

• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆98Updated last month
• s-arash / ascent
  Logic programming in Rust
  ☆471Updated last month
• ekzhang / crepe
  Datalog compiler embedded in Rust as a procedural macro
  ☆474Updated last year
• potassco / clinguin
  🐧 Clingo Interactive UI
  ☆26Updated this week
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated last month
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆32Updated 11 months ago
• jix / varisat
  SAT solver written in Rust
  ☆269Updated 2 years ago
• terminusdb-labs / swipl-rs
  ☆28Updated last year
• Yoric / yaiouom
  Prototype extension of the Rust type system towards checking units-of-measure
  ☆115Updated 5 years ago
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆307Updated this week
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆84Updated 2 weeks ago
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆32Updated 4 years ago
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆158Updated 3 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• potassco / clorm
  🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
  ☆57Updated 11 months ago
• brownsys / paralegal
  Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can sig…
  ☆20Updated this week
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆85Updated 4 years ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆160Updated last week
• ptal / pcp
  Constraint programming in Rust
  ☆107Updated last year
• camshaft / bolero
  property testing and verification front-end for Rust
  ☆209Updated 2 weeks ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated last year
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆140Updated last year
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆26Updated last year
• rust-analyzer / expect-test
  Minimalistic snapshot testing for Rust.
  ☆281Updated 6 months ago
• prove-rs / z3.rs
  Rust bindings for the Z3 solver.
  ☆401Updated this week
• domoritz / clingo-wasm
  Clingo on the web
  ☆40Updated 3 weeks ago
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆299Updated last week
• Nadrieril / dhall-rust
  Maintainable configuration files, for Rust users
  ☆316Updated 2 years ago