Freeware Listing: Constraint
- Gecode x64
- License: Freeware

Gecode is a toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible. Gecode is: open Gecode is radically open for programming: it can be easily interfaced to other systems. It supports the programming of new propagators (as implementation of constraints), branching strategies, and search engines. New variable domains can be programmed at the same level of efficiency as finite domain and integer set variables that come predefined with Gecode. free Gecode is distributed under the MIT license and is listed as free software by the FSF.
- Publisher: The Gecode Team
- Date: 01-08-2012
- Size: 41984 KB
- Platform: WinOther
- Gecode
- License: Freeware

Gecode is a toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible. Gecode is: open Gecode is radically open for programming: it can be easily interfaced to other systems. It supports the programming of new propagators (as implementation of constraints), branching strategies, and search engines. New variable domains can be programmed at the same level of efficiency as finite domain and integer set variables that come predefined with Gecode. free Gecode is distributed under the MIT license and is listed as free software by the FSF.
- Publisher: The Gecode Team
- Date: 17-08-2012
- Size: 41984 KB
- Platform: WinOther
- CON2VERT - constraints to vertices
- License: Freeware

CON2VERT - convert a convex set of constraint inequalities into the set of vertices at the intersections of those inequalities;i.e., solve the "vertex enumeration" problem. V = con2vert(A,b) Converts the polytope (convex polygon, polyhedron, etc.) defined by the system of inequalities A*x <= b into a list of vertices V. Each ROW of V is a vertex. For n variables: A = m x n matrix, where m >= n (m constraints, n variables) b = m x 1 vector (m constraints) V = p x n matrix (p vertices, n variables) NOTES: (1) This program emplyes a primal-dual polytope method. (2) In dimensions higher than 2, duplicate vertices can appear using this method.
- Publisher: Michael Kleder
- Date: 05-06-2013
- Size: 10 KB
- Platform: Matlab, Scripts
- A greedy algorithm for data sharpening and constraint handling
- License: Freeware

This function was developed for nonparametric estimation problems where the estimate must satisfy some shape constraint. Our standard example of this is using a kernel density estimator, with the constraint that the estimate can have only one mode. Let x be the observed data, and confun(x,...) be a function that checks whether a particular constraint is satisfied. Let y0 be some initial guess solution that satisfies the constraint. y = improve(y0,x,confun) returns in y an "improved" solution--a set of data that are closer to x than y0, and still satisfy the constraint. This idea of moving the data points to improve an estimator or to satisfy constraints is known as data sharpening.
- Publisher: Mark Wolters
- Date: 04-02-2013
- Size: 10 KB
- Platform: Matlab, Scripts
- Sequence Generator / CORE Manual (v0.91)
- License: Freeware

Sequence Generator (file ID #24620) has been renamed to CORE - Constraint Randomization Environment. Interface and code structure of v0.91 are explained in this manual. Current development concentrates on these topics: - Performance related issues - Bug fixes (3 known issues) - Improved constraint setting - General settings tab - Brand new algorithm [See last page of the manual for details.].
- Publisher: Roland Pfister
- Date: 04-06-2013
- Size: 614 KB
- Platform: Matlab, Scripts
- constraint programming language
- License: Freeware

{sets} is a lightweight constraint programming language. The uniqueness of {sets}, is that it uses ROBDD ( Reduced Ordered Binary Decision Diagrams ) to represent and solve constraints.
constraint programming language License - GNU Library or Lesser General Public License (LGPL).
- Publisher: Sets
- Date:
- Platform: WinOther
- Azucar
- License: Shareware

Azucar is a constraint satisfaction problem solver that is based on the Boolean satisfiability method. The application can solve finite non-linear constraint satisfaction problems, constraint optimization problems and Max-CSP over integers.
It uses the compact order encoding method that represents each integer by using a numeral system.
.
- Publisher: ttanjo
- Date:
- Platform: WinOther
- Consistency Based CSP Solver
- License: Shareware

A constraint satisfaction problem, or CSP, is a problem which can be expressed as a set of variables, each with a particular domain, and a set of constraint relations between variables. A solution to a CSP is an assignment of a unique value to each variable such that all the of the constraint relations are satisfied.
Consistency Based CSP Solver is a handy, easy to use application specially designed to enable you to create such a problem and solve it using a consistency based algorithm with backtracking.
.
- Publisher: AIspace
- Date:
- Platform: WinOther
- Gecode for Windows
- License: Shareware

Gecode is a toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible.
Gecode is radically open for programming: it can be easily interfaced to other systems. It supports the programming of new propagators (as implementation of constraints), branching strategies, and search engines. New variable domains can be programmed at the same level of efficiency as finite domain and integer set variables that come predefined with Gecode..
- Publisher: The Gecode Team
- Date:
- Size: 41984 KB
- Platform: Windows 7, WinOther, WinVista
- Easy CSP for Windows
- License: Freeware

An open-source Java class library designed for Constraint Satisfaction Problem solving. This CSP library was started independently (by the project owner) and is associated with the Babes-Bolyai University, Romania..
- Publisher: Victor Cordis
- Date:
- Size: 153 KB
- Platform: WinOther
- DisChoco
- License: Shareware

A plateform for distributed constraint Programming. Several Distributed Constraint Reasoning algorithms are implemented (like ABT, AFC, Adopt, ...). Users may easily implement and test their algorithms with DisChoco..
- Publisher: ezzahir, Mohamed Wahbi
- Date:
- Size: 1341 KB
- Platform: WinOther
- 3dom, a 3d object modeler
- License: Freeware

3dom is a 3D Solid Object Modeler, designed to be independant of the renderer back-end.Highlights include constructive solid modeling, reality-based material representation,scripting through Python binding and a constraint solving engine..
- Publisher: threedom.sourceforge.net
- Date: 14-06-2012
- Size: 627 KB
- Platform: Linux, Unix
- a generic NTCC interpreter capable of RT
- License: Freeware

Ntccrt is an interpreter for the Non-deterministic Timed Concurrent Constraint (ntcc) calculus and its probabilistic extension (pntcc). It allows to execute models either as a stand-alone program, as a patch in OpenMusic or as an plugin in Max/MSP or PD.
- Publisher: ntccrt.sourceforge.net
- Date: 26-08-2012
- Size: 2861 KB
- Platform: Mac OS X
- AceUnit
- License: Freeware

AceUnit (Advanced C and Embedded Unit): a comfortable C code unit test framework. AceUnit is JUnit 4.x style, easy, modular and flexible. AceUnit can be used in resource constraint environments, e.g. embedded software development..
- Publisher: aceunit.sourceforge.net
- Date: 11-05-2012
- Size: 110 KB
- Platform: WinOther
- Arc Consistency Crossword Compiler
- License: Freeware

Arc Consistency Crossword Compiler (arccc) uses constraint satisfaction algorithms to fill crossword grids given a wordlist. The current implementation can fill simple grids in less than a minute. A word list gleaned from a variety of sources is includ.
- Publisher: arccc.sourceforge.net
- Date: 18-07-2012
- Size: 369 KB
- Platform: Linux, Mac OS X, WinOther
- CADTools
- License: Freeware

A parametric, feature-based, sketch-driven 3D CAD application, built around a geometrical constraint solving engine. Project is in early development stage. The FreeSG library (http://freesg.org/) is required..
- Publisher: hypertriton.com
- Date: 03-09-2012
- Size: 181 KB
- Platform: WinOther
- dbg library
- License: Freeware

The dbg library is a set of C utilities to facilitate modern debugging idioms. It provides various constraint checking utilities together with an integrated error logging facility. These utilities are flexible and customisable. dbg library features include: - Expressive constraint checking utilities - Integrated stream-based logging facilities - Execution tracing support - Differentiates between different sources of diagnostics - you can enable/disable them all independently - Easy to use, powerful, configurable - assertion behaviour can be altered at runtime (abort, throw, or continue) - Integrates well with modern C code - Can be compiled out with no overhead.
- Publisher: Pete Goodliffe
- Date: 01-06-2013
- Size: 31 KB
- Platform: C and C plus plus, Scripts
- DragonBreath Engine
- License: Freeware

The DragonBreath Engine is a constraint solver based on local search. It features real-time computation, handling of dynamics, structural constraint satisfaction, and an easy way to include domain-specific knowledge..
- Publisher: ai-center.com
- Date: 21-06-2012
- Size: 31 KB
- Platform: Linux, Mac OS X, WinOther
- Easy CSP library
- License: Freeware

An open-source Java class library designed for Constraint Satisfaction Problem solving. This CSP library was started independently (by the project owner) and is associated with the Babes-Bolyai University, Romania. http://www.cs.ubbcluj.ro/.
- Publisher: easy-csp-lib.sourceforge.net
- Date: 11-08-2012
- Size: 165 KB
- Platform: Linux, Mac OS X, WinOther
- ECLiPSe CLP
- License: Freeware

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques..
- Publisher: eclipseclp.org
- Date: 24-08-2012
- Size: 7355 KB
- Platform: Linux, Mac OS X, Unix, WinOther
Constraint: Freeware | All











