1418964
doi
10.5281/zenodo.1418964
oai:zenodo.org:1418964
Lorenz Leutgeb
TU Wien
Richard Taupe
Siemens AG
Antonius Weinzierl
TU Wien
Alpha v0.3.0
Tobias Kaminski
TU Wien
url:https://github.com/alpha-asp/Alpha/tree/v0.3.0
info:eu-repo/semantics/openAccess
BSD 2-Clause "Simplified" License
https://opensource.org/licenses/BSD-2-Clause
<p>The Alpha solver for lazy grounding Answer-Set Programming.</p>
Zenodo
2018-09-14
info:eu-repo/semantics/other
1418963
v0.3.0
award_title=Integrated Evaluation of Answer Set Programs and Extensions; award_number=P 27730; funder_id=013tf3c58; funder_name=FWF Austrian Science Fund;
1682689613.064342
4108981
md5:1ccffca6feb8e8236d295d1ba60f6695
https://zenodo.org/records/1418964/files/alpha-asp/Alpha-v0.3.0.zip
public
https://github.com/alpha-asp/Alpha/tree/v0.3.0
Is supplement to
url
10.5281/zenodo.1418963
isVersionOf
doi