search

GaloisInc / what4

Symbolic formula representation and solver interaction library
154 stars 13 forks source link

Cachix testing #238

Closed crdollar closed 1 year ago