- 02 Mar, 2020 1 commit
-
-
Paul Ogris authored
-
- 03 Dec, 2019 1 commit
-
-
Paul Ogris authored
-
- 12 Nov, 2019 4 commits
-
-
Paul Ogris authored
The relaxed problem does not need these. It would only throw off gringo later.
-
Paul Ogris authored
-
Paul Ogris authored
Since those variables are going to be assumptions, we do not want them to be derived.
-
Paul Ogris authored
This is a bit of a hack, but it's the quickest way to get aggregates to parse. We don't need to inspect them, since they remain unchanged in relaxation.
-
- 08 Nov, 2019 3 commits
-
-
Paul Ogris authored
There's no benchmark here
-
Paul Ogris authored
-
Paul Ogris authored
-
- 07 Nov, 2019 4 commits
-
-
Paul Ogris authored
Using Graph Coloring and Combined Configuration from ASP Competition 2015, slightly altered.
-
Paul Ogris authored
-
Paul Ogris authored
-
Paul Ogris authored
This requires some more testing, but works on the basic example in choice.lp
-
- 05 Nov, 2019 4 commits
-
-
Paul Ogris authored
This still doesn't parse all LARS atoms. An atom token should also contain any window descriptions etc.
-
Paul Ogris authored
-
Paul Ogris authored
-
Paul Ogris authored
-