GitHub - hexhex/caspplugin

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 101 Commits
benchmarks		benchmarks
dlvhex-common @ db9e9ca		dlvhex-common @ db9e9ca
include/casp		include/casp
m4		m4
src		src
testsuite		testsuite
.gitmodules		.gitmodules
AUTHORS		AUTHORS
ChangeLog		ChangeLog
Makefile.am		Makefile.am
Makefile.in		Makefile.in
NEWS		NEWS
README		README
bootstrap.sh		bootstrap.sh
configure.ac		configure.ac
doxygen.am		doxygen.am
doxygen.cfg		doxygen.cfg

Repository files navigation

dlvhex-caspplugin -- Constraint ASP plugin for dlvhex

====  

Installation
------------
Requirements:
- dlvhex
- gecode

Build and install from source, standard approach:
- ./bootstrap
- ./configure
- ./make
- ./make install