Pinned Repositories
benchmarks
Benchmarks
biology
Biology related models
CAV18
CAV'18: Artifact Evaluation
DReal.jl
Nonlinear Constraint Solving and Optimization
dreal2
Please check dreal4 instead.
dreal3
There is a new version of dReal, available at https://github.com/dreal/dreal4
dreal4
Automated Reasoning in Nonlinear Theories of Reals
probreach
Probabilistic reachability and parameter set synthesis for stochastic hybrid systems
quadcopter
sreach
SReach is a Bounded Model Checker for hybrid systems with parametric uncertainty, and probabilistic hybrid automata with addtional randomness. It combines dreal/dreach and statistical analyzing methods.
dReal's Repositories
dreal/dreal4
Automated Reasoning in Nonlinear Theories of Reals
dreal/dreal3
There is a new version of dReal, available at https://github.com/dreal/dreal4
dreal/probreach
Probabilistic reachability and parameter set synthesis for stochastic hybrid systems
dreal/dreal2
Please check dreal4 instead.
dreal/DReal.jl
Nonlinear Constraint Solving and Optimization
dreal/sreach
SReach is a Bounded Model Checker for hybrid systems with parametric uncertainty, and probabilistic hybrid automata with addtional randomness. It combines dreal/dreach and statistical analyzing methods.
dreal/biology
Biology related models
dreal/quadcopter
dreal/benchmarks
Benchmarks
dreal/CAV18
CAV'18: Artifact Evaluation
dreal/dreal.github.io
www
dreal/interpolants
dreal/paper
Repository for some early dReal papers
dreal/ppa-updater
Ubuntu PPA updater for dReal
dreal/sat-benchmarks
SAT Benchmarks
dreal/ace
Ace for dReal SMT Solver
dreal/ace-builds
dreal/CAV19
CAV'19: Artifact Evaluation https://dreal.github.io/CAV19
dreal/dreal-bazel-example-project
Show how to use dReal as an external library using bazel
dreal/dreal-cmake-example-project
Show how to use dReal as an external library in CMake
dreal/drio
dreal/homebrew-dreal
homebrew tap for dReal
dreal/manual
Programmer's Manual
dreal/outdated_exist_forall
dreal/shell
dreal/tai
Test and Infer