Block or report user

Report or block dddejan

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse


@GaloisInc @CVC4 @SRI-CSL @jayhorn

Popular repositories

  1. CVC4

    Forked from CVC4/CVC4

    CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

    SMT 3 3

  2. cutsat

    Integer programming with conflict-driven cutting planes

    C++ 2 1

  3. fuzzsmt2

    Fuzzer for SMT2


  4. souper

    Forked from google/souper

    A superoptimizer for LLVM IR


  5. minisat

    Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    C++ 1

  6. lustrec

    Forked from coco-team/lustrec

    A modular Lustre to C / Horn clauses compiler


599 contributions in the last year

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

Contribution activity

July 2018

Created an issue in SRI-CSL/yices2 that received 6 comments

Install doesn't link through

I don't know why, but install only links straight -> I'm not an expert but my understanding is that the links should go

2 contributions in private repositories Jul 3 – Jul 9

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