Constraint Solving

C-based Constraint Solvers

Csolve

• http://sourceforge.net/projects/csolve
• All POSIX (Linux/BSD/UNIX-like OSes)
• Availability: Free

Open Physics Library

• http://sourceforge.net/projects/openpl
• OS Portable (Source code to work with many OS platforms)
• Availability: Free

Real Time Free Surface Solver (RTFSS)

• http://sourceforge.net/projects/rtfss
• All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), Linux, OS X, WinXP
• Availability: Free

Self-Adapting Large-scale Solver Architecture video from zeit online.

• http://sourceforge.net/projects/salsa
• All BSD Platforms (FreeBSD/NetBSD/OpenBSD/Apple Mac OS X), All POSIX (Linux/BSD/UNIX-like OSes)
• Availability: Free

Banshee – A toolkit for building constraint-based program analyses

• http://sourceforge.net/projects/banshee
• 32-bit MS Windows (NT/2000/XP), All 32-bit MS Windows (95/98/NT/2000/XP), All BSD Platforms (FreeBSD/NetBSD/OpenBSD/Apple Mac OS X), All POSIX (Linux/BSD/UNIX-like OSes), Linux, Win2K, WinXP
• Availability: Free

FiPy – object-oriented partial differential equation (PDE) solver,

• http://sourceforge.net/projects/fipy
• OS Independent (Written in an interpreted language)
• Availability: Free

Open Tax Solver: for calculating Tax Form entries and tax-owed or refund-due, for Federal or State personal income taxes

• http://sourceforge.net/projects/opentaxsolver
• OS Independent (Written in an interpreted language)
• Availability: Free

Realpaver

• http://sourceforge.net/projects/realpaver
• All POSIX (Linux/BSD/UNIX-like OSes), Linux, Solaris, SGI IRIX
• Availability: Free