Alpha
Alpha copied to clipboard
alpha-asp
A lazy-grounding Answer-Set Programming system
This PR aims to implement the preprocessing techniques suggested in #114 . So far only elementary simplifications have been added as a program transformation, with a command line option to...
Adds reboots, that allow the removal of static nogoods. A reboot removes all except the minimum necessary static nogoods at some point during the search. This is done by resetting...
Support for domain-specific heuristics specified declaratively within ASP programs in the form of heuristic directives, as described in our upcoming research paper **Domain-Specific Heuristics in Answer Set Programming: A Declarative...
The following program unexpectedly has Alpha report 2 answer sets while there should be three. ``` :- not 1=#count{ na_1 : a; nb_1 : b; nc_1 : c }. na_1...
Adds weak constraints to Alpha. The parser is able to read them and in their presence the solver switches to a branch-and-bound algorithm. Returned answer sets are adorned with a...
(clone of PR #316, re-creating in order to fix git history that got messed up after squashing modularization commits during merge of #274) This PR is a follow-up to PR...
I am still wondering how partial compilation (see below) could be integrated into Alpha. * [Partial Compilation of ASP Programs (TPLP, `doi:10.1017/S1471068419000231`)](https://doi.org/10.1017/S1471068419000231) * [Overcoming the Grounding Bottleneck Due to Constraints...
Currently, all `Term` implementations have their own private static `Interner` which provides a per-class instance cache. By interning, we ensure that for all terms `t1` and `t2`, it holds that...
See https://github.com/alpha-asp/Alpha/pull/341#discussion_r925461760