It is a super duper faster z3
Converting z3 scripts to cvc5 is easy with the pythonic api;
- import z3
+ import cvc5_pythonic_api as z3
docker run --name cvc5 --rm -v $(pwd)/:/ctf/work -d fibonhack/cvc5:latest
cvc5
Directory actions
More options
Directory actions
More options
cvc5
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||