Looking for the latest version? Download choco-2.1.5.tar.gz (44.4 MB)
Home / choco / 2.1.5 / choco-2.1.5 / apidocs / trace / visualizers
Name Modified Size Downloads / Week Status
Parent folder
class-use 2012-08-02 0
Writer.html 2012-08-02 33.9 kB 0
VectorWaterfall.html 2012-08-02 18.3 kB 0
VectorSize.html 2012-08-02 18.1 kB 0
Vector.html 2012-08-02 23.1 kB 0
package-use.html 2012-08-02 7.9 kB 0
package-tree.html 2012-08-02 8.4 kB 0
package-summary.html 2012-08-02 10.0 kB 0
package-frame.html 2012-08-02 2.5 kB 0
LexLt.html 2012-08-02 19.8 kB 0
LexLe.html 2012-08-02 19.8 kB 0
Inverse.html 2012-08-02 19.9 kB 0
Gcc.html 2012-08-02 19.5 kB 0
Element.html 2012-08-02 20.1 kB 0
DomainMatrix.html 2012-08-02 23.4 kB 0
Cumulative.html 2012-08-02 21.0 kB 0
BinPacking.html 2012-08-02 20.3 kB 0
BoolChanneling.html 2012-08-02 25.9 kB 0
BinaryVector.html 2012-08-02 18.3 kB 0
BinaryMatrix.html 2012-08-02 18.4 kB 0
AllDifferentMatrix.html 2012-08-02 19.1 kB 0
AllDifferent.html 2012-08-02 18.2 kB 0
Totals: 22 Items   386.1 kB
################################################################################ # 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.5.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.5.zip |-- apidocs // javadoc files |-- choco-doc-2.1.5.pdf // Documentation |-- choco-solver-2.1.5.jar // CHOCO solver |-- choco-solver-2.1.5-with-sources.jar // Sources of CHOCO solver |-- choco-solver-cpviz-2.1.5.jar // CHOCO solver + CP Viz logs |-- extra | |-- choco-db-2.1.5.jar // Database insertion tool | |-- choco-parsers-2.1.5.jar // Parsers interfaces + MZN + FCSP | |-- choco-cli-2.1.5.jar // Command Line Interpreter | `-- choco-visu-2.1.5.jar // Visualization tool box |-- samples-2.1.5.jar // Samples of CHOCO programs `-- README -------------------------
Source: README.txt, updated 2012-08-02

Thanks for helping keep SourceForge clean.

Screenshot instructions:
Windows
Mac
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies
X

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

No, Thank you