Alternatives and similar repositories for bosphorus

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

• hgarrereyn / SBVA
  Structured BVA
  ☆42Updated last year
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆71Updated 7 years ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆82Updated 2 weeks ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆39Updated 3 years ago
• SMT-COMP / smt-comp
  Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.
  ☆32Updated 10 months ago
• malb / m4ri
  M4RI is a library for fast arithmetic with dense matrices over GF(2)
  ☆87Updated last month
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated 2 years ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆105Updated last year
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 8 months ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆21Updated 3 months ago
• martinjonas / Q3B
  ☆31Updated 3 months ago
• CVC4 / CVC4-archived
  CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
  ☆21Updated 4 years ago
• VeraLiconaResearchGroup / MHSGenerationAlgorithms
  ☆16Updated last year
• zhoulaifu / xsat
  A Fast Floating-Point Satisfiability Solver
  ☆28Updated 5 months ago
• fmlab-iis / cryptoline
  ☆54Updated 3 weeks ago
• eth-sri / fastsmt
  Learning to Solve SMT Formulas Fast
  ☆89Updated last year
• SRI-CSL / libpoly
  SRI LibPoly is a C library for manipulating polynomials
  ☆52Updated last month
• SRI-CSL / sally
  SRI Sally: A model checker for infinite-state systems.
  ☆75Updated 5 months ago
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆26Updated 3 weeks ago
• arminbiere / gimsatul
  ☆35Updated 5 months ago
• Boolector / boolector
  A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
  ☆355Updated last year
• bitwuzla / bitwuzla
  Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…
  ☆298Updated 2 weeks ago
• friends-of-quaternions / deuring
  ☆15Updated last year
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆68Updated last year
• lpp-crypto / sboxU
  Tools for studying S-boxes
  ☆37Updated 2 weeks ago
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆42Updated 5 months ago
• meelgroup / ganak
  High-performance model counter
  ☆50Updated 2 weeks ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆47Updated 3 weeks ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆30Updated 7 months ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆26Updated 2 weeks ago