kstrauch94
Follow
-
-
systems Public
Forked from potassco-asp-course/systemsTeX Creative Commons Zero v1.0 Universal UpdatedNov 6, 2023 -
-
-
-
-
clingo Public
Forked from potassco/clingo🤔 A grounder and solver for logic programs.
C++ MIT License UpdatedApr 17, 2023 -
-
timed-solver-literals Public
Attempt to make solver literals have a direct relation to time points
Python UpdatedSep 27, 2022 -
Temporal-CDCL-benchmarks Public
Benchmark results for Temporal CDCL
Jupyter Notebook UpdatedMay 20, 2022 -
parsecsv Public
Parse the csv version of the results spreadsheet from the potassco benchmark tool
Python UpdatedMay 18, 2022 -
-
-
acclingo Public
Forked from potassco/acclingoPython BSD 3-Clause "New" or "Revised" License UpdatedAug 7, 2021 -
SMAC3 Public
Forked from automl/SMAC3Sequential Model-based Algorithm Configuration
Python Other UpdatedApr 8, 2020 -
-
benchmark-tool Public
Forked from potassco/benchmark-toolGit-mirror of the benchmark-tool
Python UpdatedJun 10, 2018 -
plasp Public
Forked from javier-romero/plaspTranslate PDDL to ASP
ASP MIT License UpdatedApr 17, 2018 -