OmniCS is a constraint satisfaction engine written in Java, designed for academic and scientific use.
