CLASSES=none
PSTAMP=q20151214054059
LICFILE=mit.txt
LICURL=https://github.com/emina/kodkod/blob/master/LICENSE
LICINFO=MIT
DESC=Kodkodi is a Java front-end for Kodkod, a highly-optimized relational model finder developed by the Software Design Group at MIT. For more information have a look at the included manual.
BASEDIR=/usr
VENDOR=LINOFEE, http://www.linofee.org
EMAIL=developers@linofee.org
CATEGORY=develop,application
NAME=Relational logic solver Kodkod
SERIALNUM=001
VERSION=1.5.2
ARCH=i386
PKG=LNFkodkodi