yav / simple-smt

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

Expose the Solver constructor #6

Closed cocreature closed 6 years ago

cocreature commented 6 years ago

I’d like to be able to create a dummy solver (for testing purposes) that just writes all commands to an IORef. Afaict there is nothing particularly internal about the Solver constructor (especially given that record accessors are already exposed) but it would ofc also be possible to move it to some .Internal module.

cocreature commented 6 years ago

Friendly ping :)