Alternatives and similar repositories for rate:

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

• jix / flussab
  Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
  ☆13Updated 5 months ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆32Updated 9 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆59Updated 5 months ago
• qnighy / ratsat
  MiniSat reimplemented in Rust
  ☆20Updated 7 years ago
• hopv / hoice
  An ICE-based predicate synthesizer for Horn clauses.
  ☆50Updated last year
• kino-mc / rsmt2
  A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
  ☆66Updated last year
• jix / starlit
  CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…
  ☆10Updated 2 years ago
• rust-formal-methods / wg
  ☆22Updated 3 years ago
• ufmg-smite / carcara
  ☆35Updated this week
• Robbepop / stevia
  A simple (unfinished) SMT solver for QF_ABV.
  ☆36Updated 6 years ago
• ltentrup / caqe
  CAQE is a solver for quantified Boolean formulas
  ☆32Updated last year
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆91Updated last month
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 3 months ago
• jix / varisat
  SAT solver written in Rust
  ☆263Updated 2 years ago
• fslivovsky / qute
  Qute: a dependency learning QBF solver.
  ☆13Updated 4 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated last month
• SMT-LIB / SMT-LIB-2
  Public reference documents for the SMT-LIB standard
  ☆16Updated last week
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆101Updated 2 years ago
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆27Updated last month
• xavierleroy / cdf-program-logics
  Companion Coq development for Xavier Leroy's 2021 lectures on program logics
  ☆40Updated 4 years ago
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆37Updated last month
• arminbiere / satch
  SAT Solver SATCH
  ☆117Updated 2 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆68Updated last year
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆78Updated last month
• cole-k / cc-lemma
  Refreshing automation for inductive equational proofs using e-graphs
  ☆20Updated 9 months ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 8 years ago
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆14Updated 2 years ago