clasp

clasp copied to clipboard

Multi-shot step literals

2

While doing some basic research about the new `--single-shot` option of `clingo` in [this](https://github.com/potassco/clingcon/issues/57) issue, I found out that not only `preprocessing` and `frozen` literals may have a performance influence,...

MaxOstrowski

_clasp_ is currently missing an equivalence preprocessing for incremental programs. As shown in this example, no equivalences are detected. ``` #script (python) import clingo def main(prg): prg.configuration.solve.models = 0 prg.ground([("base",...

MaxOstrowski

node counts

2

is there a way to get the nodecounts for a clasp-run instead of the seconds needed ? just how often the most inner loop was executed ithat would be more...

gsgs2

unexpected leading zero in configuration values

4

When printing the values of top level configuration entries, the meta value configuration is prefixed with a zero. Is this intended? Tested on the dev-20 branch: ``` configuration: "0auto" share:...

rkaminsk

The strength of clasp on normal logic program

3

I'm trying to use clasp to solve some normal logic programs and it seems like clasp (clingo version 5.7.1) is (much) slower than converting the normal logic program to SAT...

hharryyf