search

yav / simple-smt

BSD 3-Clause "New" or "Revised" License
20 stars 20 forks source link

Expose loadString #9

Closed jeapostrophe closed 5 years ago

jeapostrophe commented 5 years ago

This function is useful for embedding the contents of a file into my Haskell program and loading it into Z3

yav commented 5 years ago

Good point, thanks!

DanBurton commented 4 years ago

@yav can you make a release of this to hackage?

yav commented 4 years ago

OK I put 0.9.5 on hackage. I think the only difference is the loadString stuff though

DanBurton commented 4 years ago

Thank you!