dreal / dreal2
Please check dreal4 instead.
☆13Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for dreal2
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆70Updated 3 years ago
- ☆52Updated 2 months ago
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆27Updated 2 months ago
- A model checker for infinite-state systems.☆69Updated 3 years ago
- The LTSmin model checking toolset☆53Updated last week
- A Fast Floating-Point Satisfiability Solver☆20Updated 5 years ago
- TriCera: a model checker for C programs☆18Updated this week
- Hanoi Omega-Automata Format☆14Updated last year
- Implementation of multi-core (binary) decision diagrams☆67Updated 5 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- EPMC: An Extendible Probabilistic Model Checker☆14Updated 2 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆18Updated 5 years ago
- An automated deductive program verifier.☆39Updated last year
- ☆48Updated 8 years ago
- The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.☆18Updated 8 months ago
- Communication between Coq and SAT/SMT solvers☆156Updated last month
- Synthesis Format Conversion Tool☆23Updated 3 months ago
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- Abstract interpreter for real-world application programs☆32Updated 11 years ago
- PC-miner tool for program chairs☆23Updated 2 weeks ago
- Generates loop invariants for program verification☆58Updated 3 years ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆50Updated 6 months ago
- Specify and synthesize systems using symbolic algorithms☆46Updated last week
- Duet: static analysis for unbounded concurrency☆23Updated this week
- The opensmt solver☆77Updated this week
- Robots powered by Constructive Reals☆34Updated 7 years ago
- ☆25Updated 5 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago