10.5281/zenodo.1418964
https://zenodo.org/records/1418964
oai:zenodo.org:1418964
Tobias Kaminski
Tobias Kaminski
TU Wien
Lorenz Leutgeb
Lorenz Leutgeb
0000-0003-0391-3430
TU Wien
Richard Taupe
Richard Taupe
0000-0001-7639-1616
Siemens AG
Antonius Weinzierl
Antonius Weinzierl
TU Wien
Alpha v0.3.0
Zenodo
2018
2018-09-14
eng
https://github.com/alpha-asp/Alpha/tree/v0.3.0
10.5281/zenodo.1418963
v0.3.0
BSD 2-Clause "Simplified" License
The Alpha solver for lazy grounding Answer-Set Programming.
FWF Austrian Science Fund
10.13039/501100002428
P 27730
Integrated Evaluation of Answer Set Programs and Extensions