Quick query on implementation of SAT algorithm

[john smith smith]

Hello,

I am a student from Vienna who came across your SAT solvers online.

I had a trivial doubt which I was hoping you could clarify.

Given a SAT instance in a CNF format, is it possible that I could fix one variable to a True or False and then run the Walksat program you people have designed? I obviously cannot remove that variable cause if x2=0, and there is another clause containig x2^{bar}, then that clause would be trivially satisfied.

Let me know if you could help

Thanks

John

[Dave Tompkins]

you want to use the -varinitfile option:

-varinitfile STR    variable initialization file

                    variables are initialized to specific values at the

                    start of each run and at restarts

                    Example file:

                      -1 3 -4 9

                    sets variables (3,9) to true and variables (1,4) to false

                    and all other variables would be initialized randomly

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