Permalink
Commits on Sep 27, 2012
  1. Add deeper tests.

    committed Sep 27, 2012
  2. Documentation

    committed Sep 27, 2012
  3. Create OOP API.

    committed Sep 27, 2012
  4. Stop warnings.

    committed Sep 27, 2012
  5. Fix the bug of counting.

    committed Sep 27, 2012
  6. Fix broken tests.

    committed Sep 27, 2012
  7. Ignore temp files.

    committed Sep 27, 2012
  8. Add a reproduction test.

    committed Sep 27, 2012
Commits on Sep 26, 2012
  1. Remove duplicate checks.

    committed Sep 26, 2012
  2. Reduce the size of mate.

    committed Sep 26, 2012
  3. Change API of solve.

    committed Sep 26, 2012
  4. igenore MYMETA.*

    committed Sep 26, 2012
  5. Cpanize.

    committed Sep 26, 2012
Commits on Sep 24, 2012
  1. Faster counting

    committed Sep 24, 2012
Commits on Sep 16, 2012
  1. Implemented. (but too slow :/)

    committed Sep 16, 2012
  2. first commit

    committed Sep 16, 2012