What are constraint libraries?
Constraint Libraries are predefined libraries that are used to solve Constraint satisfaction problems. New algorithms can be built using the existing libraries if so desired, or you can even compile small programs on your own and customize them as you like. The difference between a constraint solver and a constraint library is that libraries can be modified and, or utilized to build your own new constraint solving algorithms. Constraint solvers, on the other hand, are usually fully capable solvers that have already been built and thus are ready for use as you would any other software application.
