search

elliottt / easy-smt

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

Add numeric ops and `define-fun` #14

Closed rachitnigam closed 1 year ago

rachitnigam commented 1 year ago

Would it be possible to create a new release of the crate once this is merged?

fitzgen commented 1 year ago

Would it be possible to create a new release of the crate once this is merged?

Done!