Cream: Class Library for Constraint Programming in Java

Please try Java with Cream.
Although I personally prefer black coffee in real life...

JAVA+CREAM=SOLVER

What's New

Features

Cream is a class library helping Java programmers to develop intelligent programs requiring constraint satisfaction or optimization on finite domains. The followings are features of Cream.

Documentation


Download

OpenOffice Calc (Spreadsheet) interface is avaiable on a separate page.


Installation

There is nothing special for installation. Please unzip the zip file in the download section, then you are ready to run example programs as follows.


License

Cream (Class Library for Constraint Programming in Java)
Copyright (C) 2003-2008 by Naoyuki Tamura (tamura @ kobe-u.ac.jp)
Cream is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version.

This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public License along with this library; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA


Acknowledgement

Cream was developed as a part of HECS (HEterogeneous Constraint Solver) system which was supported in part by METI and IPA (The Information-technology Promotion Agency) under grant of 2002 Exploratory Software Project and 2003 Exploratory Software Project. Some improvement ideas of Cream are obtained through the discussion with Mr. Kino, a project manager of IPA Exploratory Software Project and also a developer of K-Prolog and ICS in Java. I would like to give special thanks to Shuji Ohnishi and other contributers listed below.

Related Projects


Links


Naoyuki Tamura
( Last modified: Tue Aug 30 22:49:51 2011 JST ,   ?????  Since Feb 11, 2003 )