Recursive functions are not yet supported (#88)

alex-ozdemir · web-flow · commit 81f38c9a66d8 · 2023-07-01T14:09:35.000-07:00
diff --git a/cvc5_pythonic_api/cvc5_pythonic.py b/cvc5_pythonic_api/cvc5_pythonic.py
@@ -63,6 +63,7 @@
   * FiniteDomainSort
   * Fixedpoint API
   * SMT2 file support
+  * recursive functions
 * Not missing, but different
   * Options
     * as expected
