Name		Name	Last commit message	Last commit date
Licences		Licences
User_Manual		User_Manual
docs		docs
src		src
test		test
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
ant.xml		ant.xml
sparc		sparc
sparc.bat		sparc.bat
sparc.jar		sparc.jar

Repository files navigation

SPARC

Sorted answer set programming language with consistency restoring rules.

About

Sorted A-Prolog with Consistency Restoring rules.

18 stars

7 watching

Report repository

Releases

Packages

Contributors

Languages