1 result found Sort:

alpha-asp
Alpha alpha-asp
10
58
bsd-2-clause
7
A lazy-grounding Answer-Set Programming system
solver lazy-grounding logic-programming answer-set-programming
Created 2016-07-08
1,909 commits to master branch, last one 11 months ago