Alternatives and similar repositories for rate:

Users that are interested in rate are comparing it to the libraries listed below

• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆30Updated 6 months ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆85Updated this week
• qnighy / ratsat
  MiniSat reimplemented in Rust
  ☆20Updated 6 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• ufmg-smite / carcara
  ☆34Updated this week
• ltentrup / caqe
  CAQE is a solver for quantified Boolean formulas
  ☆31Updated last year
• fslivovsky / qute
  Qute: a dependency learning QBF solver.
  ☆12Updated last month
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆53Updated 2 months ago
• hopv / hoice
  An ICE-based predicate synthesizer for Horn clauses.
  ☆49Updated 9 months ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 7 months ago
• digama0 / mizar-rs
  Alternative Mizar proof checker (http://mizar.org/) written in Rust
  ☆49Updated 5 months ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆26Updated last week
• opencompl / egg-tactic-code
  ☆14Updated last year
• SMT-LIB / SMT-LIB-2
  Public reference documents for the SMT-LIB standard
  ☆15Updated last month
• arminbiere / satch
  SAT Solver SATCH
  ☆113Updated 2 years ago
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆74Updated 3 weeks ago
• rems-project / cerberus
  Cerberus C semantics
  ☆60Updated this week
• leanprover-community / iris-lean
  Lean 4 port of Iris, a higher-order concurrent separation logic framework
  ☆73Updated this week
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆40Updated 3 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆30Updated last week
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆25Updated 3 months ago
• julesjacobs / boa
  Partition refinement
  ☆15Updated last year
• Robbepop / stevia
  A simple (unfinished) SMT solver for QF_ABV.
  ☆37Updated 5 years ago
• coq-tactician / coq-tactician
  A Seamless, Interactive Tactic Learner and Prover for Coq
  ☆59Updated last month
• ammkrn / nanoda_lib
  Library implementing type inference/checking functionality based on the Lean theorem prover
  ☆50Updated 7 months ago
• rust-formal-methods / wg
  ☆22Updated 2 years ago
• joshrule / term-rewriting-rs
  a Rust implementation of first-order term rewriting systems (TRS)
  ☆27Updated 3 years ago