Skip to content

@dreal dReal

Change the repository type filter

All

    Repositories list

    26 repositories

    • probreach

      Public
      Probabilistic reachability and parameter set synthesis for stochastic hybrid systems
      C++
      •
      GNU General Public License v3.0
      •8•13•0•0•Updated Oct 30, 2024Oct 30, 2024

    • dreal4

      Public
      Automated Reasoning in Nonlinear Theories of Reals
      smt-solver
      SMT
      •
      Apache License 2.0
      •32•152•45•1•Updated Jun 8, 2024Jun 8, 2024

    • dreal3

      Public
      There is a new version of dReal, available at https://github.com/dreal/dreal4
      SMT
      •
      GNU General Public License v3.0
      •36•48•77•2•Updated Jul 8, 2021Jul 8, 2021

    • homebrew-dreal

      Public
      homebrew tap for dReal
      Shell
      •0•0•2•0•Updated Jun 19, 2021Jun 19, 2021

    • dreal.github.io

      Public
      www
      Python
      •
      Other
      •3•1•5•0•Updated May 11, 2021May 11, 2021

    • dreal-cmake-example-project

      Public
      Show how to use dReal as an external library in CMake
      CMake
      •
      Apache License 2.0
      •2•0•0•0•Updated Apr 25, 2021Apr 25, 2021

    • dreal-bazel-example-project

      Public
      Show how to use dReal as an external library using bazel
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Dec 17, 2020Dec 17, 2020

    • sreach

      Public
      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.
      C++
      •
      GNU General Public License v2.0
      •4•4•1•0•Updated Aug 27, 2020Aug 27, 2020

    • CAV19

      Public
      CAV'19: Artifact Evaluation https://dreal.github.io/CAV19
      CSS
      •0•0•0•0•Updated Apr 29, 2019Apr 29, 2019

    • benchmarks

      Public
      Benchmarks
      SMT
      •7•2•1•0•Updated Dec 8, 2018Dec 8, 2018

    • biology

      Public
      Biology related models
      Java
      •
      GNU General Public License v3.0
      •3•3•1•0•Updated May 14, 2018May 14, 2018

    • CAV18

      Public archive
      CAV'18: Artifact Evaluation
      CSS
      •0•1•0•0•Updated Apr 16, 2018Apr 16, 2018

    • sat-benchmarks

      Public
      SAT Benchmarks
      7•1•0•0•Updated Oct 17, 2017Oct 17, 2017

    • DReal.jl

      Public
      Nonlinear Constraint Solving and Optimization
      Julia
      •
      Other
      •8•7•6•0•Updated Jun 12, 2017Jun 12, 2017

    • ppa-updater

      Public
      Ubuntu PPA updater for dReal
      Shell
      •1•1•0•0•Updated Sep 28, 2016Sep 28, 2016

    • paper

      Public
      Repository for some early dReal papers
      TeX
      •2•1•4•0•Updated Jun 21, 2016Jun 21, 2016

    • interpolants

      Public
      SMT
      •0•1•0•0•Updated Jun 17, 2016Jun 17, 2016

    • dreal2

      Public archive
      Please check dreal4 instead.
      SMT
      •
      GNU General Public License v3.0
      •15•13•31•0•Updated Nov 11, 2015Nov 11, 2015

    • manual

      Public
      Programmer's Manual
      0•0•0•0•Updated May 6, 2015May 6, 2015

    • shell

      Public
      C++
      •0•0•0•0•Updated Mar 22, 2015Mar 22, 2015

    • ace

      Public
      Ace for dReal SMT Solver
      JavaScript
      •
      Other
      •5.3k•0•0•0•Updated Nov 14, 2014Nov 14, 2014

    • outdated_exist_forall

      Public
      OCaml
      •0•0•2•0•Updated Nov 10, 2014Nov 10, 2014

    • drio

      Public
      Python
      •2•0•2•0•Updated Sep 25, 2014Sep 25, 2014

    • quadcopter

      Public
      C
      •2•3•0•0•Updated Aug 26, 2014Aug 26, 2014

    • ace-builds

      Public
      JavaScript
      •
      Other
      •1.9k•0•0•0•Updated Jun 9, 2014Jun 9, 2014

    • tai

      Public
      Test and Infer
      C
      •1•0•0•0•Updated May 29, 2014May 29, 2014