Pycryptosat question

[texasflood902]

Hello there! Had a quick question. Does pycryptosat, by any chance, allow variable freezing so that they don't get eliminated?

[msoos]

You don't need to freeze and thaw. Everything always works, your variables will always appear to be there and it will always work. CryptoMiniSat is not like other solvers, it needs no freezing and thawing and all. It just works. Check it out :) Mate

…

On 24 Feb 2017 06:11, "texasflood902" ***@***.***> wrote: Hello there! Had a quick question. Does pycryptosat, by any chance, allow variable freezing so that they don't get eliminated? — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#381>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ABReOelKEewk9p7JFrHEenm03XFEI8Rqks5rfnSqgaJpZM4MK3Kv> .

[msoos]

I'm closing because this is resolved and there was no feedback for over 2 months now :) Hope it works for you!