u/AccountOutside46

There is a new java library for solving constraint satisfaction problems at https://github.com/rcrida/jcsp. It should be readily expandable to support arbitrary variable domain types and is written using a functional style.