Freeware Listing: Constraint

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.

  • Platform: WinOther

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.

  • Platform: WinOther

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.

  • Platform: Matlab, Scripts

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.

  • Platform: Matlab, Scripts

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.].

  • Platform: Matlab, Scripts

{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 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.


.

  • Platform: WinOther

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.


.

  • Platform: WinOther

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..

  • Platform: Windows 7, WinOther, WinVista

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..

  • Platform: WinOther

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..

  • Platform: WinOther

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..

  • Platform: Linux, Unix

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.

  • Platform: Mac OS X

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..

  • Platform: WinOther

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.

  • Platform: Linux, Mac OS X, WinOther

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..

  • Platform: WinOther

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.

  • Platform: C and C plus plus, Scripts

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..

  • Platform: Linux, Mac OS X, WinOther

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/.

  • Platform: Linux, Mac OS X, WinOther

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..

  • Platform: Linux, Mac OS X, Unix, WinOther

Constraint: Freeware | All

New Reviews


Angry Birds

Angry birds is one of the most successful games of all time, despite the fact that it has been free from the very beginning. Angry birds is a experimental physics game, with the objective being to fling all of your birds into the structures occupied ...


Norton Internet Security Beta

Due to growing number of cyber-attacks, need of secure computers and networks has increased dramatically. Therefore, new protection technologies are being introduced every day and are incorporated into different products. This has led to evolution ...


Arkout 3D Deluxe

Arkout 3d deluxe (or as we'll say from here on, simply arkout 3d) is a three dimensional re imagining of the classic concept of arcanoid, also known as brick or breakout. In the original arcanoid game, the aim is the move your baton across the ...


Convert Image to PDF

Apex Images to PDF Converter is the simplistic and easy to use application that’ll turn raw image files, such as .jpegs, into PDF documents that will open in Adobe Reader.

It’s really easy to get started with this ...


Avant Browser

There are many browsers available to download on World Wide Web, but more than 90% people use either of Chrome, Firefox or Internet Explorer. Due to this, many people either don’t know about other non-popular browsers or don’t care to ...


FILExtinguisher

FILExtinguisher is a simplistic looking data removal tool, that will assist you in totally and completely removing sensitive data from your computer hard drive. This means that you can securely remove your online surfing history, banking details, ...


Disk Drive Administrator

Disk Drive Administrator is a really simple and easy to use program that lets you deny access to and hide different drives, partitions and network shares on a computer. It also lets you disable AutoRun features.

The main Disk Drive ...


KinderGarten

Kindergarten is a free ware baby care game / attempt at a day care simulation. In kindergarten, you are a woman running a day care (or as the title seems to suggest, a kindergarten) as lots of children are dropped off at the day care by their ...


USB Guardian

Gone are the days when Floppies, magnetic tapes and rewritable disks were used to transfer data. Nowadays, USB Flash Drives are used to transfer files. USB Flash Drives are faster, cheaper, easier and more convenient way to transfer data. Along with ...



New Downloads

Nautical Almanac

2017 Nautical Almanac
including monthly charts with
the planets\' positions

Synchredible

Whether it\'s an individual
file or an entire drive -
Synchredible will synchronize,
copy and save them for you. A
...

WinUtilities Free Disk
Cleaner

WinUtilities Free Disk Cleaner
deletes junk files and free up
your hard disk space

Flowers Popper for Android

Match colorful flowers to
remove them and free space for
new ones. To remove flowers
from the grass, get a group of
3 or ...

Jolix Tag Editor

Jolix Tag Editoris is an
easy-to-operate tag processing
software with prodigious
features and options. The
program allows ...

Sharest

Sharest is one of the most
easy-to-use p2p clients
around, inspired by
Limewire\'s architecture but
developed further for ...

Daminion

Daminion is the server-based
digital photo, video and
document management software
for creative pros and small
teams. ...

Music Torrent

Music Torrent is a top file
sharing application,
incorporating the latest
technology, compatible with
all major platforms ...

Video Logo Remover

Video Logo Remover can
successfully remove logo,
signatures or subtitle from a
video completely and enables
you to ...



Related Searches

Constraint Visio Example
Excel Constraint Tree