Max Ostrowski

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,...

_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",...

Improve configuration of clingo via the API

2

- Currently there is no way to detect if the program was startet with --text in the API. - It would be nice if the configuration file would also handle...

opt-mode

8

`--opt-mode=` also for `clingcon` to: `: [,...]` - `opt`: Find optimal model (default behaviour, as before) - `enum`: Find models with costs

Auto translate PB constraints to clauses

1

Automagically translate some of the pb constraints into clauses, with a similar heuristic as clasp does. Isn't this the same as simply translating the original linear constraint into clauses instead...

clingcon is twice as fast with `--single-shot`

3

Taking the newest clingcon dev version from conda: The call `clingcon test.lp --stats=2 0 --single-shot` is twice as fast as `clingcon test.lp --stats=2 0` [test.zip](https://github.com/potassco/clingcon/files/6106876/test.zip) (The number of choices and...

Warn about unconstrained integer variables

1

This addresses the issue with undefined variables that only occur in the body of rules and are not statically "defined". @rkaminsk would it be enough to raise a warning somewhere...

Create pytest for __theory functions

2

Create pytest tests for the C interface (probably using python). Simply testing every method on its own.

Stearing Optimization

2

Why do I need a linear amount of steps instead of logarithmic. ``` &dom{-100..100} = x. &minimize{x}. ```

Evaluation new version and comparison with clingcon 3.

29

[results.zip](https://github.com/potassco/clingcon/files/4442721/results.zip) 1. Times of clingcon-4 and pyclingcon are off by around 2 secs for activating/deactivating conda env, this is annoying. 2. Otherwise, clingcon-3.3.0 seems to have better defaults for what...