Service Incident: New DOI registrations are working again. Re-registration of failed DOI registrations (~500) are still affected by the service incident at DataCite (our DOI registration agency).

There is a newer version of the record available.

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

Funding

Integrated Evaluation of Answer Set Programs and Extensions P 27730
FWF Austrian Science Fund