Hi, Would use a BAB engine and add the external check by synchronized execution (when some variables have been assigned), please check Section 4.5 for the details.
Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Philippe Sent: Thursday, March 31, 2016 06:15 To: users@gecode.org Subject: [gecode-users] B&B or DFS engine ? Hello, I have a design problem when using a b&b engine. Here it is : When a solution S is found I have to confirm it using an external algorithm. It's only if S is confirmed that the next solution S ' must have a better cost than S. For now, i use a DFS engine and i reject or accept S' myself. Is there a better solution (using constraint(S) for instance ?). Thanks, Philippe _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
