CLASSES=none
PSTAMP=q20151214072116
LICFILE=mit.txt
LICURL=https://github.com/emina/kodkod/blob/master/LICENSE
LICINFO=MIT
DESC=Kodkod provides a Java API for constructing, manipulating, and solving relational constraints. The source code is extensively documented, and the repository includes many examples demonstrating the use of the Kodkod API. The implementation itself relies on third-party SAT solvers like SAT4J, MiniSat, Glucose, and (P)Lingeling.
BASEDIR=/usr
VENDOR=LINOFEE, http://www.linofee.org
EMAIL=developers@linofee.org
CATEGORY=develop,application
NAME=Relational logic solver Kodkod 2
SERIALNUM=001
VERSION=2.1
ARCH=i386
PKG=LNFkodkod2