项目描述 ：
The Alpha solver for lazy-grounding Answer-Set Programming.

高级语言： Java

项目主页： http://www.kr.tuwien.ac.at/research/systems/alpha/

项目地址: git://github.com/alpha-asp/Alpha.git

创建时间： 2016-07-08T10:52:13Z
项目社区：https://github.com/alpha-asp/Alpha
开源协议：BSD 2-Clause "Simplified" License
下载