Constraint


Advertisement

Gecode  v.2. 1. 2001

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.

Stochastic Local Search Based CSP Solver  v.4.6.0

Stochastic Local Search Based CSP Solver use stochastic local search algorithms to solve constraint satisfaction problems. Constraint satisfaction problems (CSPs) are pervasive in AI problems.





Advertisement

Consistency Based CSP Solver  v.4.6.1

Consistency Based CSP Solver create and solve constraint satisfaction problem. Constraint satisfaction problems (CSPs) are pervasive in AI problems.

Gecode for Linux  v.3.7.1

Gecode is a toolkit for developing constraint-based systems and applications.

Gecode for Mac OS X  v.3.7.1

Gecode is a toolkit for developing constraint-based systems and applications.

Gecode x64  v.3.7.1

Gecode is a toolkit for developing constraint-based systems and applications.

MS Access Database Converter

MS Access database conversion software is the most efficient database converter tool that is capable to convert the tables with attributes, primary key, unique key and not null constraint from MS Access database records into MySQL database records. MS

ReverbRack  v.2 8

Reverb Rack R-ii has been designed with one goal in mind: Create some of the most realistic closed spaces you've ever heard. Doing this entirely within a software constraint is no easy task but this rack really can build those spaces realistically.

LEDAS RhinoWorks  v.2.0

RhinoWorks is a plug-in that brings constraint-based parametric design in Rhino. A constraint specifies geometric and dimensional properties of one or more shapes.

GNU Prolog  v.1 4

GNU Prolog is a free Prolog compiler with constraint solving over finite domains. GNU Prolog accepts Prolog constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone.

BProlog  v.7 4

Welcome to B-Prolog, a versatile and efficient constraint logic programming (CLP) system B-Prolog is a Prolog system with extensions for programming concurrency, constraints, and interactive graphics.

QuadProg  v.1 5

Quadprog: Functions to solve Quadratic Programming Problems. This package contains routines and documentation for solving quadratic programming problems. Minimizes the function v = 0.5*x'*H*x f*x subject to the constraint A*x <= b.

Pages : 1 | 2 | Free
Newest Reviews