search

elliottt / easy-smt

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

Add support for replay files and use a builder for creating contexts #4

Closed fitzgen closed 1 year ago

fitzgen commented 1 year ago

cc @avanhatt and @elliottt: what do you think of this?

Fixes #3