search

elliottt / easy-smt

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

Convert from `SExprData` to integers #7

Closed fitzgen closed 1 year ago

fitzgen commented 1 year ago

Fixes #5

cc @avanhatt @sampsyo