Popular repositories Loading

1. dp_on_dbs dp_on_dbs Public

   dp using db tables via postgres

   TeX 6 11

2. dynclasp dynclasp Public

   tool for determining heuristic parameters for clasp following the dynamic programming on tree decomposition paradigm

   Python 2 1

3. vc_validate vc_validate Public

   A tool for validating vertex covers of a given graph

   Python 2 1

4. asp2sat asp2sat Public

   treewidth-aware reduction from asp to sat

   Python 1 6

5. asp2sat_translator asp2sat_translator Public

   Python 1

6. dflat-2 dflat-2 Public

   Forked from bbliem/dflat

   Dynamic Programming Framework with Local Execution of ASP on Tree Decompositions

   C++