Hi Conrad,
No, MPG does not have anything on this as minimodel is not meant to be programmable or extensible. The way how to do it is simple: consider making your propagator a contribution to Gecode and we will help you doing the minimodel stuff. Cheers Christian -- Christian Schulte, Professor of Computer Science, KTH, www.gecode.org/~schulte/ From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Drescher, Conrad Sent: Friday, November 21, 2014 1:52 PM To: users@gecode.org Subject: [gecode-users] Custom propagator in MiniModel Hello, assume I have written some propagator (as well as a reified version thereof). Could you point me towards making that available for usage in MiniModels BoolExprs, if that is possible at all? I dont think MPG has anything on this. Cheers, Conrad Dr. Conrad Drescher Senior Developer | AI DEV SCM PLM DE SAP SE | Dietmar-Hopp-Allee 16 | 69190 Walldorf | Germany T +49 6227 7-77888 | M +49 160 90684883 | E conrad.dresc...@sap.com <http://www.sap.com/> www.sap.com Please consider the impact on the environment before printing this e-mail. Pflichtangaben/Mandatory Disclosure Statements: <http://www.sap.com/company/legal/impressum.epx> http://www.sap.com/company/legal/impressum.epx Diese E-Mail kann Betriebs- oder Geschäftsgeheimnisse oder sonstige vertrauliche Informationen enthalten. Sollten Sie diese E-Mail irrtümlich erhalten haben, ist Ihnen eine Kenntnisnahme des Inhalts, eine Vervielfältigung oder Weitergabe der E-Mail ausdrücklich untersagt. Bitte benachrichtigen Sie uns und vernichten Sie die empfangene E-Mail. Vielen Dank. This e-mail may contain trade secrets or privileged, undisclosed, or otherwise confidential information. If you have received this e-mail in error, you are hereby notified that any review, copying, or distribution of it is strictly prohibited. Please inform us immediately and destroy the original transmittal. Thank you for your cooperation.
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
