[m-dev.] The mode constraints branch summer project

[David Overton]

On Thu, Dec 23, 2004 at 12:15:13PM +0000, David Overton wrote:
> However the majority of the solving time was still spent with the
> remaining ROBDD (conjunctions and if-then-else are rather common
> constructs in Mercury programs!) so you may want to concentrate on a
> replacement for these.  One complication is that the algorithm I used
> for extracting the 2-SAT constraints is closely tied to the structure
> of the ROBDD graph.

One other thought.  Last I heard (which was about a year ago) Vitaly
Lagoon was busy interfacing another ROBDD solver to Mercury which he
claimed was much more efficient than Peter Schachte's implementation.
You may want to check with him what state that is in.

David
-- 
David Overton
WWW: http://www.overtons.id.au/
Mobile Phone (UK): +44 7799 344 322
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------