Tobias Kaminski
Lorenz Leutgeb
Richard Taupe
Antonius Weinzierl
2018-09-14
<p>The Alpha solver for lazy grounding Answer-Set Programming.</p>
https://doi.org/10.5281/zenodo.1418964
oai:zenodo.org:1418964
eng
Zenodo
https://github.com/alpha-asp/Alpha/tree/v0.3.0
https://doi.org/10.5281/zenodo.1418963
info:eu-repo/semantics/openAccess
BSD 2-Clause "Simplified" License
https://opensource.org/licenses/BSD-2-Clause
Alpha v0.3.0
info:eu-repo/semantics/other