Consistently export solvers from `Data.SBV.{Dynamic,Trans}`

LeventErkok / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

https://github.com/LeventErkok/sbv

Other

242 stars 34 forks source link

Consistently export solvers from `Data.SBV.{Dynamic,Trans}` #630

Closed RyanGlScott closed 2 years ago

RyanGlScott commented 2 years ago

Data.SBV exports the bitwuzla, cvc5, and dReal solvers, but none of them are exported from Data.SBV.Dynamic or Data.SBV.Trans. This patch re-exports them from the latter to keep things consistent across all modules.

LeventErkok commented 2 years ago

Thanks!