Closed samuelchassot closed 11 months ago
It would be cool to have support for CVC5.
Sounds like a good use of someone's time this autumn.
It would be cool to have support for CVC5.