ada/cvc5
0
0
Fork 0
mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
ae5ee4b07dc3d3c792e7fe7f382ff490dd28aca4
cvc5/test/api/python
History
Mathias Preiner ae5ee4b07d Goodbye CVC4, hello cvc5! (#6371) 
This commits changes the build system to cvc5 and removes the remaining
occurrences of CVC4. It further cleans up outdated/unused scripts in contrib/.
2021-04-21 10:21:34 -07:00
..
CMakeLists.txt
Goodbye CVC4, hello cvc5! (#6371)
2021-04-21 10:21:34 -07:00
test_datatype_api.py
Goodbye CVC4, hello cvc5! (#6371)
2021-04-21 10:21:34 -07:00
test_grammar.py
Goodbye CVC4, hello cvc5! (#6371)
2021-04-21 10:21:34 -07:00
test_term.py
Goodbye CVC4, hello cvc5! (#6371)
2021-04-21 10:21:34 -07:00
test_to_python_obj.py
Goodbye CVC4, hello cvc5! (#6371)
2021-04-21 10:21:34 -07:00