Section: Software

CHOCO-IBEX

Participants : Gilles Chabert [correspondant] , Charles Prud'homme [correspondant] .

Work has been done to provide an interface for connecting the CHOCO and the IBEX libraries in order to handle problems where we both have continuous and discrete variables. This interface allows to filter continuous domains from CHOCO with the IBEX engine as well as to check for unsatisfiability or entailment. It also manages reification variables. This interface has been tested on a toy problem and seems to work as expected. Some glue code (on both sides) is still missing to handle reificiation and should be integrated in a short term. The interface should be ready for usage with the next version of CHOCO (3.0).