Cream is a Java library that does constraint satisfaction and optimization on finite domains.
cream-1.05-1.src.rpm