I am relatively new to CSPs and I am trying to find the value of all the variables from their respective domains, based on ==, >, < and != constraints imposed between the variables. I looked at Choco and Jacop but, I couldn't find out more about solving these type of problems. Could you please point me to somewhere I can find an implementation of this example? I have solved this using Prolog, but I want to use OOP to get this done.
Thank You.