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.
  ☆14Updated 7 months ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆32Updated 11 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 3 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆61Updated 7 months ago
• memoryleak47 / slotted-egraphs
  ☆26Updated last week
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆98Updated last month
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 3 months ago
• qnighy / ratsat
  MiniSat reimplemented in Rust
  ☆20Updated 7 years ago
• ufmg-smite / carcara
  ☆38Updated this week
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 5 months ago
• SMT-LIB / SMT-LIB-2
  Public reference documents for the SMT-LIB standard
  ☆17Updated last month
• Bastacyclop / egg-sketches
  sketches for egg: a flexible, high-performance e-graph library
  ☆27Updated 3 months ago
• hopv / hoice
  An ICE-based predicate synthesizer for Horn clauses.
  ☆50Updated 2 weeks ago
• ltentrup / caqe
  CAQE is a solver for quantified Boolean formulas
  ☆33Updated 2 years ago
• 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 3 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• SRI-CSL / libpoly
  SRI LibPoly is a C library for manipulating polynomials
  ☆51Updated last week
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 2 years ago
• arminbiere / gimsatul
  ☆34Updated 2 weeks ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆31Updated 3 months ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆73Updated last week
• Robbepop / stevia
  A simple (unfinished) SMT solver for QF_ABV.
  ☆36Updated 6 years ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• viperproject / smt-scope
  SMTscope automatically analyses and visualises SMT solver execution traces.
  ☆37Updated 3 months ago
• rust-formal-methods / wg
  ☆22Updated 3 years ago
• meelgroup / barbarik
  The first efficient procedure to test whether a sampler is uniform
  ☆13Updated 3 months ago
• mit-plv / riscv-coq
  RISC-V Specification in Coq
  ☆115Updated 5 months ago
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆56Updated last year