Abdalrhman Mohamed f1ba9b8542 Show the code for utilities in the docs. (#8387) ...

This PR adds the code for printing synthesis solutions to the docs. Various other changes are made to increase the consistency between the different bindings.

Signed-off-by: Abdalrhman M Mohamed <abdalrhman-mohamed@uiowa.edu>

2022-03-30 02:11:08 +00:00

..

__init__.py

…

bitvectors_and_arrays.py

…

bitvectors.py

Remove unecessary methods from the API (#8260)

2022-03-14 18:29:30 +00:00

CMakeLists.txt

…

combination.py

Remove unecessary methods from the API (#8260)

2022-03-14 18:29:30 +00:00

datatypes.py

…

exceptions.py

…

extract.py

Remove Op::getIndices() (#8355)

2022-03-21 23:27:40 +00:00

floating_point.py

Move RoundingMode to cvc5_types.h (#8427)

2022-03-29 01:13:46 +00:00

helloworld.py

Remove unecessary methods from the API (#8260)

2022-03-14 18:29:30 +00:00

id.py

…

linear_arith.py

Remove unecessary methods from the API (#8260)

2022-03-14 18:29:30 +00:00

quickstart.py

…

relations.py

…

sequences.py

…

sets.py

Remove unecessary methods from the API (#8260)

2022-03-14 18:29:30 +00:00

strings.py

…

sygus-fun.py

Update checkSynth and checkSynthNext to return SynthResult (#8382)

2022-03-25 20:00:14 +00:00

sygus-grammar.py

Show the code for utilities in the docs. (#8387)

2022-03-30 02:11:08 +00:00

sygus-inv.py

Update checkSynth and checkSynthNext to return SynthResult (#8382)

2022-03-25 20:00:14 +00:00

transcendentals.py

…

utils.py

Show the code for utilities in the docs. (#8387)

2022-03-30 02:11:08 +00:00