GaloisInc / what4

Symbolic formula representation and solver interaction library
157Updated 2 weeks ago

Alternatives and similar repositories for what4:

Users that are interested in what4 are comparing it to the libraries listed below