Alternatives and similar repositories for oink

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

• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆168Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 9 months ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆30Updated 2 months ago
• marijnheule / microsat
  microsat
  ☆137Updated 3 years ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆32Updated 4 months ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆78Updated last week
• TermCOMP / TPDB
  The Termination Problem Database
  ☆30Updated last week
• verse-lab / ego
  EGraphs in OCaml
  ☆66Updated last year
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆50Updated 4 years ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆89Updated last week
• ths-rwth / smtrat
  ☆56Updated 3 weeks ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated last year
• PetterS / qepcad
  Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
  ☆26Updated 2 months ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆36Updated 2 years ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆62Updated 8 months ago
• ltentrup / caqe
  CAQE is a solver for quantified Boolean formulas
  ☆34Updated 2 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 2 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆150Updated last week
• ufmg-smite / carcara
  ☆39Updated this week
• owl-toolkit / owl
  ☆18Updated 2 years ago
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆25Updated this week
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆88Updated 3 weeks ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆99Updated last week
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆85Updated 8 months ago
• agurfinkel / spacer-on-jupyter
  ☆17Updated 2 years ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆42Updated this week
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• meelgroup / ganak
  High-performance probabilistic exact counter
  ☆44Updated this week
• arnabd88 / Satire
  Scalable yet rigorous Floating-point Error Analysis
  ☆11Updated 3 weeks ago