search

elliottt / easy-smt

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

Parse quote identifiers #24

Closed rachitnigam closed 1 year ago

rachitnigam commented 1 year ago

Fixes #23.

rachitnigam commented 1 year ago

Just tagging @elliottt for a review

rachitnigam commented 1 year ago

Can we do a new release once this is merged?