Write a wrapper to Choco library to solve condition from the parser.