CSP solver written in Java!