diff options
Diffstat (limited to 'examples/api/python/floating_point.py')
-rw-r--r-- | examples/api/python/floating_point.py | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/examples/api/python/floating_point.py b/examples/api/python/floating_point.py index 66b18642d..0001f726b 100644 --- a/examples/api/python/floating_point.py +++ b/examples/api/python/floating_point.py @@ -22,12 +22,6 @@ from pycvc5 import kinds if __name__ == "__main__": slv = pycvc5.Solver() - if not slv.supportsFloatingPoint(): - # cvc5 must be built with SymFPU to support the theory of - # floating-point numbers - print("cvc5 was not built with floating-point support.") - exit() - slv.setOption("produce-models", "true") slv.setLogic("QF_FP") |