Popular repositories Loading

1. SMC4WM SMC4WM Public

   SMC4WM and all that

   C++ 3 1

2. dreal dreal Public

   Forked from dreal/dreal2

   dReal: An SMT Solver for Nonlinear Theories of the Reals

   C++

3. SReach SReach Public

   Forked from 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 met…

   C++

4. CMake CMake Public

   Forked from Kitware/CMake

   CMake, the cross-platform, open-source build system.

   C++

5. dreal3 dreal3 Public

   Forked from dreal/dreal3

   New version of the dReal solver. More info at

   SMT

6. KaSim KaSim Public

   Forked from Kappa-Dev/KappaTools

   Command line stochastic simulator for kappa models. Documentation and binaries can be found in the release section below.

   OCaml