5 Commits

Author	SHA1	Message	Date
yoni206	91572c54c6	Add strings and sequences to the pythonic API documentation (#10654) ... This PR adds the documentation for strings and sequences in the pythonic API.	2024-04-19 07:34:00 -05:00
Alex Ozdemir	fdbbbefd0f	More external FF documentation (#10049) ... - document the (extension) theory itself - add a pythonic API example	2023-11-10 20:10:27 +00:00
yoni206	918b21d36a	Updating missing features in pythonic API (#9929) ... Following cvc5/cvc5_pythonic_api#86 .	2023-08-07 19:25:31 +00:00
Andrew Reynolds	904f7c5524	Add a few miscellaneous pieces of documentation (#8533)	2022-04-02 01:02:47 +00:00
Alex Ozdemir	082ffeaffc	Rename python APIs (#7950) ... Rename python APIs to "base" and "pythonic"	2022-01-14 21:45:19 +00:00