Alternatives and similar repositories for dreal4:

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

• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• randriu / synthesis
  ☆22Updated this week
• eth-sri / ELINA
  ELINA: ETH LIbrary for Numerical Analysis
  ☆130Updated last year
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆23Updated 2 years ago
• guykatzz / ReluplexCav2017
  ☆101Updated 4 years ago
• meelgroup / approxmc
  Approximate Model Counter
  ☆73Updated 7 months ago
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆27Updated last year
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆47Updated 3 months ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated last month
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆79Updated 4 months ago
• asolarlez / sketch-backend
  ☆39Updated 4 months ago
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆53Updated 9 months ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• eth-sri / fastsmt
  Learning to Solve SMT Formulas Fast
  ☆85Updated 8 months ago
• asolarlez / sketch-frontend
  ☆34Updated 4 months ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 3 months ago
• reactive-systems / bosy
  BoSy is a reactive synthesis tool based on constraint-solving
  ☆19Updated last year
• SMT-COMP / smt-comp
  Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.
  ☆28Updated this week
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆79Updated this week
• VerifiableRobotics / slugs
  SmalL bUt Complete GROne Synthesizer
  ☆37Updated 5 months ago
• verivital / nnv
  Neural Network Verification Software Tool
  ☆119Updated this week
• hypro / hypro
  HyPro: A C++ state set representation library for the analysis of hybrid systems
  ☆33Updated 2 weeks ago
• arminbiere / satch
  SAT Solver SATCH
  ☆114Updated 2 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆144Updated this week
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆24Updated 6 months ago
• arminbiere / gimsatul
  ☆34Updated 7 months ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆23Updated 3 years ago
• SRI-CSL / yices2
  The Yices SMT Solver
  ☆387Updated last month
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆41Updated 3 years ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆166Updated this week