search

4tXJ7f / cvc5

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Other
2 stars 5 forks source link

Remove initInternal #17

Closed 4tXJ7f closed 7 years ago

4tXJ7f commented 7 years ago

It seems like initInternal is not really useful anymore (at least not for the pull request). Remove initInternal and the private variables from the preprocessing passes. Instead get the necessary variables at the beginning of applyInternal from the API.