Can 2 or more variables be assigned at a time

[pg2...@columbia.edu]

Hi,

I know it is not algorithmically allowed to assign 2 or more variables at a time. I am wondering if the code can allow for multiple variable assignments at a time without propagating information after a single assignment. I would rather prefer to have propagations after all the variables are assigned their respective boolean values. 

Thanks in advance!

[Allen Van Gelder]

I think you might be able to fake it by having a bunch of binary clauses

(x -> y1), (x -> y2), ... where x is a new variable with an assignment to 1 and

y1, y2, ... are the literals you want to be true simultaneously.

I am pretty sure unit propagation is FIFO

--Allen

--

---
You received this message because you are subscribed to the Google Groups "MiniSat" group.
To unsubscribe from this group and stop receiving emails from it, send an email to minisat+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.