diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-06-16 14:04:09 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-16 21:04:09 +0000 |
| commit | b8d09076cfeb124bfaa6e1c3f0f37e3df1b1b516 (patch) | |
| tree | e634a4f8d9176a238b55a51e4b18d77c69c9895d /src/api/python | |
| parent | 0f04a6c4cf618fb5914934bac5b5c6277f07127c (diff) | |
Make symfpu a required dependency. (#6749)
Diffstat (limited to 'src/api/python')
| -rw-r--r-- | src/api/python/cvc5.pxd | 1 | ||||
| -rw-r--r-- | src/api/python/cvc5.pxi | 3 |
2 files changed, 0 insertions, 4 deletions
diff --git a/src/api/python/cvc5.pxd b/src/api/python/cvc5.pxd index fdc1872e7..9d980267d 100644 --- a/src/api/python/cvc5.pxd +++ b/src/api/python/cvc5.pxd @@ -151,7 +151,6 @@ cdef extern from "api/cpp/cvc5.h" namespace "cvc5::api": cdef cppclass Solver: Solver(Options*) except + - bint supportsFloatingPoint() except + Sort getBooleanSort() except + Sort getIntegerSort() except + Sort getRealSort() except + diff --git a/src/api/python/cvc5.pxi b/src/api/python/cvc5.pxi index 258005207..874c63c3d 100644 --- a/src/api/python/cvc5.pxi +++ b/src/api/python/cvc5.pxi @@ -460,9 +460,6 @@ cdef class Solver: def __dealloc__(self): del self.csolver - def supportsFloatingPoint(self): - return self.csolver.supportsFloatingPoint() - def getBooleanSort(self): cdef Sort sort = Sort(self) sort.csort = self.csolver.getBooleanSort() |