GitHub repository: madmike200590/Alpha
Primary language: Java
Description: The Alpha solver for lazy-grounding Answer-Set Programming.