Alex Ozdemir 6388657820 Change name of Python API's package from pycvc5 to cvc5. (#7953) ...

In the process, I changed a CMake target name from pycvc5 to
cvc5_base_py_api. I could not change the target to cvc5, because that
name is taken.

2022-02-02 23:45:42 +00:00

..

boilerplate.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

CMakeLists.txt

Translating API tests to Python — part 2 (#7651)

2021-12-01 01:38:45 +00:00

issue4889.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

issue5074.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

issue6111.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

proj-issue306.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

reset_assertions.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

sep_log_api.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00

two_solvers.py

Change name of Python API's package from pycvc5 to cvc5. (#7953)

2022-02-02 23:45:42 +00:00