Published September 14, 2018
| Version v0.3.0
Software
Open
Alpha v0.3.0
- 1. TU Wien
- 2. Siemens AG
Description
The Alpha solver for lazy grounding Answer-Set Programming.
Files
alpha-asp/Alpha-v0.3.0.zip
Files
(4.1 MB)
Name | Size | Download all |
---|---|---|
md5:1ccffca6feb8e8236d295d1ba60f6695
|
4.1 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/alpha-asp/Alpha/tree/v0.3.0 (URL)
Funding
- Integrated Evaluation of Answer Set Programs and Extensions P 27730
- FWF Austrian Science Fund