Alternatives and similar repositories for clingo-rs:

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

• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆32Updated 4 years ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆88Updated this week
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆152Updated 2 weeks ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆42Updated 2 years ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆77Updated 3 weeks ago
• cognitive-engineering-lab / argus
  An IDE extension for debugging trait errors in Rust.
  ☆108Updated last week
• ekzhang / crepe
  Datalog compiler embedded in Rust as a procedural macro
  ☆468Updated last year
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆24Updated 11 months ago
• benhall-7 / diff-struct
  Rust trait for diffing and applying diffs between data structures
  ☆60Updated 7 months ago
• ztlpn / minilp
  A pure Rust linear programming solver
  ☆86Updated 4 years ago
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆297Updated last week
• danielhenrymantilla / macro_rules_attribute-rs
  Use declarative macros as proc_macro attributes or derives
  ☆110Updated last year
• besok / graphviz-rust
  The library provides basic functions to work with Graphviz dot lang from rust code.
  ☆74Updated 5 months ago
• knowsys / nemo
  A fast in-memory rule engine
  ☆123Updated this week
• jneem / imbl
  Blazing fast immutable collection datatypes for Rust.
  ☆99Updated last week
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆96Updated last year
• Yoric / yaiouom
  Prototype extension of the Rust type system towards checking units-of-measure
  ☆115Updated 4 years ago
• CAD97 / generativity
  ☆37Updated last year
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆71Updated 9 months ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆74Updated 2 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 5 months ago
• potassco / clinguin
  🐧 Clingo Interactive UI
  ☆26Updated this week
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆22Updated 4 months ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated 10 months ago
• fitzgen / id-arena
  A simple, id-based arena
  ☆118Updated last year
• lsd-ucsc / ChoRus
  🎶 Choreographic programming in Rust 🎶
  ☆53Updated 2 weeks ago
• nikomatsakis / plmw-2022
  Talk to be given at PLMW 2022
  ☆20Updated 3 years ago
• camshaft / bolero
  property testing and verification front-end for Rust
  ☆199Updated this week
• Erk- / genfut
  Generate bindings for Futhark
  ☆37Updated 2 years ago