Skip to content

GitLab

Switch branch/tag
Find file BlameHistoryPermalink
  • Harsha's avatar
    Adding ACPBench Hard tasks (#2980) · 0daf28fd
    Harsha authored 
    * adding ACPBench_hard

* adding Clingo

* changing tarski to tarski[clingo]

* denoting the main variants in each paper
    0daf28fd
pyproject.toml 4.1 KB