GitHub - Ckins/clasp_plus: An answer set solver based on clasp.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 80 Commits
app		app
build_vc		build_vc
libclasp		libclasp
libprogram_opts		libprogram_opts
tools		tools
.gitignore		.gitignore
CHANGES		CHANGES
CMakeLists.txt		CMakeLists.txt
COPYING		COPYING
README		README
configure.bat		configure.bat
configure.sh		configure.sh

Repository files navigation

Overview
  This is an open-source project originally from Potassco Team.
  Based on clasp, we implement some sufficient condition of ASP.

Introduction
 http://www.cs.uni-potsdam.de/clasp/
 http://potassco.sourceforge.net/