More examples & transcendentals - Githubissues

cvc5 / cvc5_pythonic_api

A Z3Py-compatible interface to cvc5

Other

6 stars 9 forks source link

More examples & transcendentals #75

Closed alex-ozdemir closed 2 years ago

alex-ozdemir commented 2 years ago

Added examples:

id
exceptions
transcendentals (this required adding transcendental functions & Pi to the API)

Will not add:

SyGuS (not supported)
relations (uses some set operators that are currently not supported, and may require internal tweaks to tuple support?)
strings and sequences (not supported)

CI will fail until PR #74 is merged.