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
13,753 Commits 59 Branches 0 Tags
master
Commit Graph

2 Commits

Author SHA1 Message Date
Daniel Larraz
f30f3a00e3 doc: Avoid duplicate indexing of cvc5.pythonic.Length (#12097) 
The `Length` function in the Pythonic API applies to both strings and
sequences, so its documentation appears in `strings.rst` and
`sequences.rst`. To avoid duplicate entries in the index, one occurrence
is marked with `:noindex:`.
 2025-09-08 15:07:48 +00:00
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