Skip to content


  • Pro


  1. Haskell bindings to CUDD, the CU Decision Diagram Package

    C 1

  2. Code for the experiments in the AAAI-10 paper "Searching Without a Heuristic: Efficient Use of Abstraction" by Bradford Larsen, Ethan Burns, Wheeler Ruml, and Robert C. Holte

    C++ 1

  3. Binary decision diagrams in C, with an emphasis on correctness, clarity, and performance

    C 2 1

618 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri
Activity overview
Contributed to trailofbits/polytracker, trailofbits/manticore, trailofbits/polyfile and 1 other repository

Contribution activity

July 2020

20 contributions in private repositories Jul 2 – Jul 14

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

You can’t perform that action at this time.