Pinned Loading

1. sharpsat-td sharpsat-td Public

   Entry to model counting competition 2021.

   C++ 19 7

2. triangulator-msc triangulator-msc Public

   Implementation of the Bouchitté-Todinca Algorithm developed in my master's thesis.

   C++ 3 2

3. pace2020-treedepth-exact pace2020-treedepth-exact Public

   PACE 2020 exact track submission

   C++ 1

4. maxpre maxpre Public

   MaxSAT preprocessor

   C++ 3 1

5. contestlib contestlib Public

   Collection of algorithm implementations for ICPC programming contests

   C++ 23 3