- Chocolate Source Crossword Clue
Chocolate Source Crossword Clue
################################################################################# Copyright (c) 1999-2010, Ecole des Mines de Nantes ## All rights reserved. ## Redistribution and use in source and binary forms, with or without ## modification, are permitted provided that the following conditions are met: ## ## * Redistributions of source code must retain the above copyright ## notice, this list of conditions and the following disclaimer. ## * Redistributions in binary form must reproduce the above copyright ## notice, this list of conditions and the following disclaimer in the ## documentation and/or other materials provided with the distribution. ## * Neither the name of the Ecole des Mines de Nantes nor the ## names of its contributors may be used to endorse or promote products ## derived from this software without specific prior written permission. ## ## THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS' AND ANY ## EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED ## WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE ## DISCLAIMED. IN NO EVENT SHALL THE REGENTS AND CONTRIBUTORS BE LIABLE FOR ANY ## DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES ## (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; ## LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ## ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT ## (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS## SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. ################################################################################# CHOCO ----- CHOCO is a java library for constraint satisfaction problems (CSP) and constraint programming (CP). It is built on an event-based propagation mechanism with backtrackable structures. CHOCO can be used for: > teaching (as a user-oriented constraint solver with open-source code) > research (for state-of-the-art algorithms and techniques, user-defined constraints, domains and variables) > real-life applications (many applications now embed choco) Please visit the project web site (http://choco.emn.fr) for more information. REQUIREMENTS ------------ > A Java 6 or later compatible virtual machine for your operating system. DOCUMENTATION ------------- Look for the most up-to-date documentation on the CHOCO web site, under the Documentation menu (http://choco.emn.fr/choco-documentation.html) RELEASE ------- The choco-2.1.4.zip file is composed of the following directories and files: > choco-solver: a JAR file providing tools for modeling and solving problems using CP (the heart of CHOCO) > choco-solver-cpviz: choco-solver + CP-Viz wrapper (using AOP), a JAR file providing tool for modeling and solving problems using CP and also producing XML files for CP-Viz (web site: http://sourceforge.net/projects/cpviz/) > extra: directory with extra JARs: > choco-db: a database toolbox, interfacing choco-solver > choco-parsers: parser interface and implementations (CSC, FZN) for choco-solver > choco-cli: Command-Line Interpreter facilities for choco-solver, choco-db and choco-parsers > choco-visu: 'alive' visualization toolbox > samples: a directory of runnable classes of problems modeled and solved with choco-solver > apidocs: javadoc repository > documentation PDF file------------------------- choco-2.1.4.zip -- apidocs // javadoc files -- choco-doc-2.1.4.pdf // Documentation -- choco-solver-2.1.4.jar // CHOCO solver -- choco-solver-2.1.4-with-sources.jar // Sources of CHOCO solver -- choco-solver-cpviz-2.1.4.jar // CHOCO solver + CP Viz logs -- extra -- choco-db-2.1.4.jar // Database insertion tool -- choco-parsers-2.1.4.jar // Parsers interfaces + MZN + FCSP -- choco-cli-2.1.4.jar // Command Line Interpreter `-- choco-visu-2.1.4.jar // Visualization tool box -- samples-2.1.4.jar // Samples of CHOCO programs `-- README -------------------------