Pinned Loading

1. aspmc aspmc Public

   Forked from hmarkus/asp2sat

   An efficient compilation based algebraic answer set counter.

   Python 5 3

2. sharpsat-td sharpsat-td Public

   Forked from Laakeri/sharpsat-td

   Entry to model counting competition 2021.

   C++ 1

3. raki123.github.io raki123.github.io Public

   HTML

4. tol-revolve tol-revolve Public

   Forked from zenfiric/tol-revolve

   Triangle of Life experiments using the Revolve framework

   Python 1

5. Ermine516/AXolotl Ermine516/AXolotl Public

   The Android app version of the AXolotl Education Software

   Java 1 1

6. TL-DC TL-DC Public

   TL;DC: "Too Long; Didn't Count" A portfolio based solver for the length limited path counting problem.

   C