search

GaloisInc / what4

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

Require tasty-sugar 2.0 or greater and address deprecation. #229

Closed kquick closed 1 year ago

kquick commented 1 year ago

Released tasty-sugar version 2.0.1.0 also supports GHC 9.4.