1 result found Sort:

alpha-asp
Alpha alpha-asp
11
60
bsd-2-clause
6
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 about a year ago