Files
cvc5/cmake/FindCVC5PythonicAPI.cmake
Daniel Larraz e603425598 Bump Pythonic API version (#12280)
The new version fixes issues with context handling in multiple functions
(cvc5/cvc5_pythonic_api#113) as well as a failing test
(cvc5/cvc5_pythonic_api#112).
2025-12-02 12:16:19 +00:00

1.7 KiB