Port (nra|sets)-translation examples to new API. - Githubissues

cvc5 / cvc5-projects

1 stars 0 forks source link

Port (nra|sets)-translation examples to new API. #206

Closed 4tXJ7f closed 2 years ago

4tXJ7f commented 4 years ago

This will require porting of Commands.

ajreynol commented 2 years ago

Duplicate of https://github.com/cvc5/cvc5-projects/issues/206.