Choco solver http://choco.mines-nantes.fr/ Documentation O .. ^ ^ ^ April 25, 2012 Copyright (C) 1999, 2011 F. Laburthe, N. Jussien. Permission is granted to copy, distribute…
