Documentation for using SPACER #5013
Unanswered
shazqadeer
asked this question in
Q&A
Replies: 1 comment
-
|
I'm not sure we have a single source of documentation. It depends on what you want to do. Here is a Jupyter notebook from a SYNASC Tutorial Nikolaj and I did a year ago. It shows various things you can do through the API: https://github.com/agurfinkel/spacer-on-jupyter/blob/master/Dagstuhl2019.ipynb If you want to use SMT-LIB interface, there is documentation and benchmarks at chc-comp: https://chc-comp.github.io/ There is also a repo of useful tools to manipulate and convert between formats: https://github.com/chc-comp/chc-tools If all of these fail you, email me or ask here. |
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.
-
Where can I find documentation for using Spacer (or any CHC solving) in Z3?
Beta Was this translation helpful? Give feedback.
All reactions