choco-solver
choco-solver copied to clipboard
implement equals and hashcode based on ID
should speedup the usage of variables within sets and maps