Antonius Weinzierl
Antonius Weinzierl
This PR should be ready to be reviewed now.
Now also with test passing. :-)
To me that looks perfectly fine. The solver sees the weak constraints and switches over to optimisation using a branch-and-bound algorithm. That means branches whose valuation is higher than the...
> > @AntoniusW I just noticed that this is still tagged as pending my review - have the aforementioned changes been made, i.e. can we move this forward? @madmike200590, I...
Narrowed it down a bit to an aggregate using ground versus non-ground count-equals. ``` foo(1) :- 1=#count{ na_1 : a; nb_1 : b }. :- not foo(1). na_1 :- not...
More testing with sometimes disappearing answer-sets revealed: bug seems to go away if justification is disabled.
It looks like the parser files have been adapted or split in multiple files -- or maybe some old parsing code is present here. Can you elaborate a bit what...
Is that really what I think it is, do we have a native binary of Alpha now? :-D
This comment is intended to collect (non-obvious) conditions that have to be met by the config: - [ ] Handle cross-dependencies (see #303). - [ ] After merging (#202), phase...
> Because the following involves benchmarking, it might warrant a separat issue, but nevertheless, I uncovered it during the review for #274, so here we go: > > ``` >...