Softwares

QUACQ: We learn constraint networks by asking the user partial queries. That is, we ask the user to classify assignments to subsets of the variables as positive or negative. We provide an algorithm that, given a negative example, focuses onto a constraint of the target network in a number of queries logarithmic in the size of the example. [demo]

 

CPTEST: A framework for the automatic fault detection, localization and correction of constraint programs written in OPL

cptest4choco: A java library for the automatic fault detection, localization and correction of constraint programs written in choco

 

BESS: Bandit Ensemble for parallel SAT Solving

 

 

 

eXTReMe Tracker