6 Commits

Author	SHA1	Message	Date
mudathirmahgoub	12293a35d5	Add Relation and Table types to SMTLib parser (#8605)	2022-04-13 13:54:27 -05:00
Mathias Preiner	d01e59c13b	Update copyright headers for release 1.0 (#8539)	2022-04-05 20:38:57 +00:00
Aina Niemetz	506a7b8c4a	Python API: Do not rename enumerators. (#8507) ... Co-authored-by: Mathias Preiner <mathias.preiner@gmail.com> Co-authored-by: mudathirmahgoub <mudathirmahgoub@gmail.com> Co-authored-by: Gereon Kremer <gkremer@stanford.edu>	2022-04-01 19:45:36 +00:00
Gereon Kremer	a7779de22d	Remove decorator from python API (#8505) ... This PR removes the expand_list_arg decorator from the python API. It was used to allow calling a function f(x, *args) with a list as second argument and automatically expand the list into *args. While it merely allows for calling f(x, l) instead of f(x, *l), it adds considerable complexity to the code and documentation. Thus, following the Zen of python (have only one way to do it) we remove this decorator. This is also consistent with the pythonic API, were we made the same decision.	2022-04-01 16:58:00 +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
mudathirmahgoub	437c346559	Add relations.cpp, relations.py examples (#7801)	2021-12-17 19:23:16 +00:00