4
Daniel Diaz
1,188
Freeware
GNU Prolog is a free Prolog compiler with constraint solving over finite domains.
63
The Gecode Team
21
Freeware
Gecode is a toolkit for developing constraint-based systems and applications.
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.
Demo
LEDAS 3D its powerful geometric constraint solver.
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.
1
Capvidia BVBA
Demo
FormatWorks provides a solution for data translation from CATIA to Solidworks.
