Choco 2.0 is out.   Open-source constraint satisfaction, written in Java, and business-friendly BSD-licensed.

It’s the Holy Grail of computing.