LEDAS Ltd.
1
Freeware
Is a software that supports two-dimensional parametric sketching/drawing in CAD.
2
SimpleSolver Logic
220
Freeware
The program provides an environment for digital-logic computer-system education.
LEDAS Ltd.
Demo
LEDAS 3D its powerful geometric constraint solver.
63
The Gecode Team
21
Freeware
Gecode is a toolkit for developing constraint-based systems and applications.
98
Falco Software Company
4
Freeware
In the game Guess you have to guess the pictures provided by the game.
Zonabit Sistemi Srl
4
Shareware
It produces automatically the school timetable, solving all the constraints.
4
Daniel Diaz
1,188
Freeware
GNU Prolog is a free Prolog compiler with constraint solving over finite domains.
AB&BA
Freeware
Use this free programme if you want to migrate your data to the new programme.
1
Richard Thompson
1
Shareware
A powerful, easy to use, 32-bit word puzzle solving program for Windows 95/NT, capable of solving a....
Falco Software Company
1
Freeware
Solving puzzles is easy, solving logical puzzles is more difficult.
Rho-Works Software
2
Shareware
The programm provides a powerful interface of real-world investment constraint.
11
Mattingly Consulting
75
Freeware
Performs constraint analysis, contour plots, mission analysis, and engine test.
Afany Software
16
Shareware
B-Prolog is a versatile and efficient constraint logic programming system.
LEDAS Ltd.
7
Shareware
RhinoWorks is a plug-in that brings constraint-based parametric design in Rhino.
NICTA
9
Freeware
MiniZinc is a medium-level constraint modelling language.
Th. Tom Zoerner
81
Freeware
Nxtvepg is a decoder for nexTView Electronic TV Programme Guide.
