Block or report user
  • Joined on Jan 16, 2012

Popular repositories

  1. satchmo

    SAT encoder

    4 Haskell

  2. haskell-obdd

    pure Haskell implementation of reduced ordered binary decision diagrams

    4 Haskell

  3. haskell-buddy

    2 C

  4. mex

    1 Haskell

  5. smt-lib

    Forked from tomahawkins/smt-lib

    Parsing and printing SMT-LIB from Haskell.

    1 Haskell

  6. satchmo-smt

    1 Haskell

349 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

October 2016

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