Block or report user

Popular repositories

  1. TreeSearch

    A C++ library for job management in a distributed search in the Condor scheduler.

    C++ 3

  2. EarSearch

    Search over 2-connected graphs using ear augmentations

    C++ 1

  3. Saturation

    Finding uniquely K_r-saturated graphs using custom augmentations.

    C++ 1

  4. Progressions

    Searching for quasi- and pseudo-arithmetic progressions

    C++ 1

  5. ChainCounting

    Counting chains in width-two posets with few split pairs

    C++ 1

  6. Ear-Search

    Search over 2-connected graphs using ear augmentations

16 contributions in the last year

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

Contribution activity First issue First repository Joined GitHub

November 2017

1 contribution in private repositories Nov 10

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