[m-dev.] semantics with any insts

[Ralph Becket]

Peter Stuckey, Monday,  3 April 2006:
> 
> Nope lookinto our Boolean solvers, they are all just constraints
> 
> in integer linear programming
> 
> 	or(X,Y) :- X + Y >= 1
> 
> or
> 	
> 	Z = or(X,Y)
> 	or(X,Y,Z) :- Z >= X, Z >= Y, X + Y >= Z 

Ah, okay, now I understand.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------