Strongly typed eDSL for SMTLib2 #74
bruderj15
started this conversation in
Show and tell
Replies: 1 comment
-
|
No secret eDSL over here :) That's a pretty interesting development to follow. Thanks for sharing it! |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Hello there.
some time ago I was wondering if you guys had an eDSL for SMTLib2 thats hidden behind your curtains.
Do you?
However, I have created an eDSL on top of
smtlib-backends, focused on a clean API.Much like ekmett/ersatz does for QSAT.
You may check it out!
Hackage: hasmtlib
GitHub: Hasmtlib
Beta Was this translation helpful? Give feedback.
All reactions