Michael Langowski

I am experiencing the same problem, but might have a hint on where to look: It seems this behavior is connected to the tagTemplate. With only the following block in...

I'm not yet through with the complete review, but I think I found a bug in one my tests: The following program only has 4 answer sets with weak constraints:...

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

> As per our discussion last week, I think we need the following changes: > > * default behavior when Alpha is called without a specific number of answer sets...

@AntoniusW This has been open for a long while, and I'd really like to get it merged. Could you please take a look?

Thanks for looking into this! Will take a look when I get to this issue

> hi @madmike200590 can I work on this issue ?Thanks Hi @hikmeterz ! Sorry for the late reply on this! We're always happy about people showing an interest in Alpha!...

> Thanks for the reply and advice @madmike200590 .I want to deal with the issue you mentioned. Ok, great! Feel free to fork and create a PR once you're satisfied...

I quickly skimmed the getting started guides for both JCommander and picocli - both look really promising to me, and I like the annotation-based approach a lot! Something came to...

> alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/StatisticsReportingSolver.java needs full documentation. @AntoniusW could you please take care of this? I lack the level of detailed expertise in our `DefaultSolver` to properly document the collected statistics.