choco-solver
choco-solver copied to clipboard
adds bound checking for element constraint over real variables