This repository has been archived by the owner on Aug 29, 2024. It is now read-only.
bv_decide?
#66
Comments
Merged
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Similar to
sat_decide?there should be abv_decide?that allows us to pointbv_decidedirectly at a LRAT file to avoid making installing a SAT solver a basic requirement for verifying proofs done withbv_decide.The text was updated successfully, but these errors were encountered: