diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-09-22 12:13:33 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-22 14:13:33 -0500 |
commit | 524c879720779abc3bc529459da8734f2eb3e3ad (patch) | |
tree | 5a14c2502159a646adb7d9be1169110357129b07 /src/include | |
parent | 2e2424a1a8ce19a3c4e357cf491ca027a5d1b4cc (diff) |
Fix compilation without LibPoly (#5118)
Commit e969318 introduced the ICP-based
solver for nonlinear arithmetic. That code, however, depends on LibPoly.
When configuring CVC4 without LibPoly, the code doesn't compile because
the class ICPSolver is missing. This commit adds a dummy version if
ICPSolver to remedy the issue.
Diffstat (limited to 'src/include')
0 files changed, 0 insertions, 0 deletions