Block or report user

Report or block soonho-tri

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@RobotLocomotion @dreal @interlock-mit

Pinned repositories

  1. dreal/dreal4

    SMT Solver for Nonlinear Theories of Reals

    SMT 10 7

  2. RobotLocomotion/drake

    A planning, control, and analysis toolbox for nonlinear dynamical systems. More info at

    C++ 958 586

1,618 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

September 2018

Created a pull request in RobotLocomotion/drake that received 1 comment

Created an issue in dreal/dreal4 that received 4 comments

2 contributions in private repositories Sep 2 – Sep 10

Seeing something unexpected? Take a look at the GitHub profile guide.