search

elliottt / easy-smt

Easy SMT solver interaction
Apache License 2.0
24 stars 4 forks source link

Run the `quantifiers` example in CI #28

Closed elliottt closed 1 month ago

elliottt commented 1 month ago

Per the tin