Aina Niemetz
0647c4c107
Update copyright headers. ( #11561 )
...
Co-authored-by: Daniel Larraz <daniel-larraz@users.noreply.github.com >
2025-01-23 17:54:20 +00:00
Aina Niemetz
1a3a935fb5
Python API: Refactor to expose TermManager. ( #10488 )
...
This refactors the base Python API to expose TermManager (related to
previous refactor of the C++ API to expose TermManager in #10426 ).
2024-03-14 14:34:58 -07:00
Aina Niemetz
fdf9ce7138
Update copyright headers. ( #10459 )
2024-03-12 09:35:09 -07:00
Aina Niemetz
0a8baa0f0a
Update copyright headers. ( #9736 )
2023-05-09 18:06:18 +00:00
Mathias Preiner
d01e59c13b
Update copyright headers for release 1.0 ( #8539 )
2022-04-05 20:38:57 +00:00
Andrew Reynolds
2f1483e2e3
Remove unecessary methods from the API ( #8260 )
...
Removes checkEntailed from Solver.
Removes isEntailed, isNotEntailed, isEntailedUnknown from Result.
Removes isSubsortOf, isFunctionLike, getUninterpretedSortName, getSortConstructorName from Sort.
Updates examples and unit tests.
2022-03-14 18:29:30 +00:00
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
yoni206
24663f1c4b
Translating API tests to Python — part 2 ( #7651 )
...
This PR translates the remaining cpp API tests to python.
2021-12-01 01:38:45 +00:00
