Constraint Solving by Martine Ceberio


C++ based Constraint Solvers

MINION

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

Cardinals A Finite set constraint solver

HalPPC (A Constraint Programming engine)

MicroPather

Sokoban Solver – An optimised solver for Sokoban (aka. Boxworld).

VISL Constraint Grammar Compiler – natural language parser generator

Image restoration and inpainting

Happy Cube Solver

SokoSolve

Elisa

OpenFlower: solves the turbulent incompressible Navier-Stokes equations with a LES approach

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

CAMFR (CAvity Modelling FRamework): is a fast, flexible, friendly full-vectorial Maxwell solver.

  • 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.