diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-07-17 09:06:31 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-17 00:06:31 -0700 |
commit | 0a7e733a5cee4733ca8ca9fff1f6eab6fc22a549 (patch) | |
tree | 8df7919ddfa7e3d3b6207f61edddfac6ed204305 /src/base/configuration.h | |
parent | 2ee5a2bcf5fd7aaf72d44553ebb85edd76fd06c8 (diff) |
Integration of libpoly (#4679)
This commit integrates LibPoly into CVC4. It adds `contrib/get-poly`, adds it to the configure script, cmake and places where CVC4 inspects its own build configuration.
Furthermore, it adds `CVC4::RealAlgebraicNumber` (which wraps `poly::AlgebraicNumber`) including some basic unit tests and some utilities.
Diffstat (limited to 'src/base/configuration.h')
-rw-r--r-- | src/base/configuration.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/configuration.h b/src/base/configuration.h index de060fa00..40914e531 100644 --- a/src/base/configuration.h +++ b/src/base/configuration.h @@ -107,6 +107,8 @@ public: static bool isBuiltWithLfsc(); + static bool isBuiltWithPoly(); + static bool isBuiltWithSymFPU(); /* Return the number of debug tags */ |