Max Ostrowski

I'm not completely sure if I get everything right: For variable value -> order_literal i used a vector after insertion of a certain amount of literals,s.t. the map does not...

`we have to store all the clauses added during translation and commit them later` Sorry, i misread this part. We create clauses one by one and directly add them to...

``` Fixpoint iteration during check is done interleaved with order_literal propagation (As the watch is immediately triggerd in the old interface (unlike the list of changes that we have now)....

> A vector will certainly speed up order literal lookup. I do not know if you use an ordered vector of value/literal pairs or use a vector with value-domain_minimum as...

> Because interleaving adding clauses and literals is quadratic with clasp. Adding the literals and then the clauses is linear. clingcon-3.3.0 computes an estimate of variables that are needed for...

Definitely nice to see where the time is spent (and kind of unexpected, that adding clauses takes that much time). But it looks like that vector could help a lot...

[results.zip](https://github.com/potassco/clingcon/files/4457308/results.zip) haven't looked at it in detail, but looks much nicer...

[results.zip](https://github.com/potassco/clingcon/files/4480246/results.zip) Big improvements on propagation heavy instances (like doubling the speed). Thanks a lot.

Unlikely that I find the time anytime soon. Closing for now?

Some evaluation on the minizinc competition 2019 benchmarks (testing some configurations) and an (unfair) comparison to chuffed (chuffed uses more global constraints) can be found here: https://github.com/potassco/flatzingo/issues/11 In short: Our...