GaloisInc / what4

Symbolic formula representation and solver interaction library
157Updated last week

Alternatives and similar repositories for what4:

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