C++ based Constraint Solvers
MINION
- http://minion.sourceforge.net/reference.html
- Cygwin (MS Windows), All POSIX (Linux/BSD/UNIX-like OSes), OS X
- Availability: Free
ILOG Solver
- http://www.ilog.com/
- IRIX 6.5 (System V-based Unix operating system with BSD extensions)
- Availability: Commercial
GeCode– Generic Constraint development Environment
- http://www.gecode.org/
- Windows and BSD style
- Availability: Free
Cardinals A Finite set constraint solver
- http://www.cadence.com/company/cadence_labs/kuehl_TCAD_2005_Fast.pdf
- Windows and Linux
- Availability: Free
HalPPC (A Constraint Programming engine)
- http://sourceforge.net/projects/halppc
- OS Portable (Source code to work with many OS platforms)
- Availability: Free
MicroPather
- http://sourceforge.net/projects/micropather
- OS Portable (Source code to work with many OS platforms)
- Availability: Free
Sokoban Solver – An optimised solver for Sokoban (aka mixcloud downloaden naar mp3. Boxworld).
- http://sourceforge.net/projects/sokobansolver
- All 32-bit MS Windows (95/98/NT/2000/XP)
- Availability: Free
VISL Constraint Grammar Compiler – natural language parser generator
- http://sourceforge.net/projects/vislcg
- All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes)
- Availability: Free
Image restoration and inpainting
- http://sourceforge.net/projects/restoreinpaint
- All 32-bit MS Windows (95/98/NT/2000/XP)
- Availability: Free
Happy Cube Solver
- http://sourceforge.net/projects/happysolver
- All 32-bit MS Windows (95/98/NT/2000/XP)
- Availability: Free
SokoSolve
- http://sourceforge.net/projects/sokosolve
- All 32-bit MS Windows (NT/2000/XP)
- Availability: Free
Elisa
- http://sourceforge.net/projects/elisa
- All POSIX (Linux/BSD/UNIX-like OSes), Linux
- Availability: Free
OpenFlower: solves the turbulent incompressible Navier-Stokes equations with a LES approach
- http://sourceforge.net/projects/openflower
- All POSIX (Linux/BSD/UNIX-like OSes), Linux
- Availability: Free
ADFC Navier-Stokes solver
- http://sourceforge.net/projects/adfc
- All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), OS Independent (Written in an interpreted language), Linux
- Availability: Free
3D Solver for Chemically Reacting flows
- http://sourceforge.net/projects/open3dcfd
- All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), Linux, Win2K, WinXP
- Availability: Free
CAMFR (CAvity Modelling FRamework): is a fast, flexible, friendly full-vectorial Maxwell solver herunterladen.
- http://sourceforge.net/projects/camfr
- All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), OS Independent (Written in an interpreted language), Linux
- Availability: Free
2D & 3D DCM (Dimensional Constraint Manager) – geometric constraint solvers android for free.
- http://www.plm.automation.siemens.com/en_us/products/open/d-cubed/products/index.shtml
- Windows, Linux, Unix and Mac OS
- Availability: Commercial, with preferential terms for academic organisations