Number of variables about bosphorus

[msoos]

Hey,

It does that automatically internally. It leaves your variable numbering intact so if you want to use another system to solve it, you will be able to map the solutions back. However, internally it discards those 25 variables. I hope this helped!

Mate

[msoos]

Oh, by the way, do try refreshing the system -- I have just released a newer CryptoMiniSat that should be faster :) Cheers,

Mate

[saadislamm]

When we run the following command:

./bosphorus --allsol --anfread equations.txt --anfwrite out.anf --cnfwrite out.cnf --solvewrite solution

which sat solver is used by default?
Because I noticed that even after deleting my CryptoMiniSat folder, it is still giving me solutions.
How to set it to CryptoMiniSat?
Or it has to be used independently?

[msoos]

It always uses CryptoMiniSat. It uses your installed CryptoMiniSat library. You probably have the library somewhere, e.g. at /usr/local/lib or /usr/lib/. Look for libcryptominisat5 :)