Choco is a Java library for constraint satisfaction problems (CSP), constraint programming (CP), and explanation-based constraint solving (e-CP). It is built on an event-based propagation mechanism with backtrackable structures.
StringBuilder instead of
StringBuffer as much as possible, and fix some
misspellings.