Hi, I'm implementing an option to set consistency level for integer propagators in Gecode AMPL driver<https://github.com/vitaut/ampl/tree/master/solvers/gecode> similar to the -icl option in the Gecode driver.
While the option is quite straightforward to implement I was wondering how can I test it. To be more specific, suppose I have a Gecode::Space object and I post a constraint to it with some consistency level. How can I programmatically check whether a constraint has been posted with this consistency level? Thanks, Victor
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
