constraint freeware downloads

GNU Prolog for Linux

1.5.0 freeware download

... GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. ... sockets,...). GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint ...

GNU Prolog for Mac OS X

1.5.0 freeware download

... GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. ... sockets,...). GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint ...

GNU Prolog for Windows (x32 bit)

1.5.0 freeware download

... GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. ... sockets,...). GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint ...

GNU Prolog for Windows (x64 bit)

1.5.0 freeware download

... Windows x64 is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. ... sockets,...). GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint ...

Gecode

4.4.0 freeware download

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 ... the programming of new propagators (as implementation of constraints), branching strategies, and search engines. New variable domains ...

Gecode x64

4.4.0 freeware download

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 ... the programming of new propagators (as implementation of constraints), branching strategies, and search engines. New variable domains ...

Gecode for Mac OS X

4.4.0 freeware download

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 ... the programming of new propagators (as implementation of constraints), branching strategies, and search engines. New variable domains ...

Gecode for Linux

4.4.0 freeware download

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 ... the programming of new propagators (as implementation of constraints), branching strategies, and search engines. New variable domains ...

DiInSo

1.0 freeware download

... and has no limitations except for the natural constraint of any 32-bit application (the maximum amount of random access memory (RAM) which can be used ...

Sunflower Quick Query For Oracle

0.91 freeware download

The application can query multiple tables that have direct or indirect relationships and generate the SQL script for the query. The relationship between tables can be ...

FET for Linux, Mac OS X

6.22.0 freeware download

... individual students (as separate sets) · Each constraint has a weight percentage, from 0.0% to 100.0% (but some special constraints can have only 100% weight percentage possible) ...

Asymptote for Mac OS X

2.88 freeware download

... method and deferred drawing to solve overall size constraint issues between fixed-sized objects (labels and arrowheads) and objects that should scale with figure size; · ...

Asymptote for Linux

2.88 freeware download

... method and deferred drawing to solve overall size constraint issues between fixed-sized objects (labels and arrowheads) and objects that should scale with figure size; · ...

X-Blender

2.79b [rev14] freeware download

... animation mixer with automated walkcycles along paths · Constraint system · Vertex key framing for morphing, with controlling sliders · Character animation pose editor · ...

dbView for Oracle

2.7.29.179 freeware download

... Views - Stored procedures - Foreign keys - Constraint checks - Functions - Sequences - Triggers - Synonyms - Data from indexes to compare with ...

SimpleLPsolver

1.3.1a freeware download

... two phase techniques depending on type of the constraints. If the all constraints are <=, the single phase technique is applied ... technique is automatically used for = and >= constraints. It has a simple graphical user interface with ...