Skip to content
View rachelwang's full-sized avatar

Organizations

@dreal

Block or report rachelwang

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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