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
  ☆93Updated last week
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆32Updated 4 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆32Updated 10 months ago
• ekzhang / crepe
  Datalog compiler embedded in Rust as a procedural macro
  ☆474Updated last year
• jix / varisat
  SAT solver written in Rust
  ☆267Updated 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…
  ☆20Updated last week
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆301Updated 2 months ago
• potassco / clinguin
  🐧 Clingo Interactive UI
  ☆26Updated 2 weeks ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆33Updated last week
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆85Updated 4 years ago
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆158Updated 2 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated last month
• s-arash / ascent
  Logic programming in Rust
  ☆467Updated 3 weeks ago
• potassco / clorm
  🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
  ☆56Updated 11 months ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆29Updated 7 months ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆26Updated last year
• besok / graphviz-rust
  The library provides basic functions to work with Graphviz dot lang from rust code.
  ☆74Updated last month
• domoritz / clingo-wasm
  Clingo on the web
  ☆39Updated this week
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• oli-obk / pandoc-ast
  ☆36Updated last year
• Yoric / yaiouom
  Prototype extension of the Rust type system towards checking units-of-measure
  ☆115Updated 5 years ago
• ptal / pcp
  Constraint programming in Rust
  ☆105Updated last year
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated last year
• rust-lang / ena
  An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
  ☆158Updated last year
• Nadrieril / pest_consume
  A framework for processing the output of a pest-generated parser
  ☆47Updated last year
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆148Updated this week
• rust-formal-methods / wg
  ☆22Updated 3 years ago
• plausiblelabs / lens-rs
  Functional lens library for Rust
  ☆107Updated 4 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago