New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Discuss theorem provers #17

Open

no-longer-on-githu-b opened this issue Jan 28, 2016 · 1 comment

Labels

no-longer-on-githu-b commented Jan 28, 2016

No description provided.

no-longer-on-githu-b added the discussion label

Author

no-longer-on-githu-b commented Jan 28, 2016

Z3 has a rather nice C++ API. Unique killer features like RAII.

# for free to join this conversation on GitHub. Already have an account? # to comment