Alternatives and similar repositories for rate

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

• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆62Updated 7 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• fslivovsky / qute
  Qute: a dependency learning QBF solver.
  ☆14Updated 7 months ago
• jix / flussab
  Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
  ☆14Updated 8 months ago
• ltentrup / caqe
  CAQE is a solver for quantified Boolean formulas
  ☆34Updated 2 years ago
• hopv / hoice
  An ICE-based predicate synthesizer for Horn clauses.
  ☆50Updated last month
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆33Updated last year
• memoryleak47 / slotted-egraphs
  ☆29Updated 3 weeks ago
• qnighy / ratsat
  MiniSat reimplemented in Rust
  ☆20Updated 7 years ago
• ufmg-smite / carcara
  ☆38Updated last week
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 2 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• mit-plv / riscv-coq
  RISC-V Specification in Coq
  ☆115Updated this week
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆39Updated 4 months ago
• SRI-CSL / libpoly
  SRI LibPoly is a C library for manipulating polynomials
  ☆51Updated 3 weeks ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• SMT-LIB / SMT-LIB-2
  Public reference documents for the SMT-LIB standard
  ☆17Updated last week
• jix / varisat
  SAT solver written in Rust
  ☆270Updated 2 years ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆27Updated 3 months ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆84Updated 4 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated 3 weeks ago
• rust-formal-methods / wg
  ☆22Updated 3 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 6 months ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆99Updated 3 weeks ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated 10 months ago
• tip-org / benchmarks
  Tons of Inductive Problems: The Benchmarks
  ☆26Updated 2 years ago
• Armael / cdcl
  ☆16Updated 5 years ago
• fbacchus / MaxHS
  MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
  ☆26Updated 3 years ago
• dcao / babble
  library learning w egraphs
  ☆20Updated 2 years ago