GitHub repository: AntoniusW/Alpha
Primary language: Java
Created: 2016-07-08T10:52:13Z
Description: The Alpha solver for lazy grounding Answer-Set Programming.