diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-10-11 18:22:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-11 11:22:51 -0500 |
| commit | 0f834b9622947ad1f6405c83a43df88c98c05c55 (patch) | |
| tree | 654edff05fc2f486c72a45f015d0fe76aa784a84 /src/options/quantifiers_options.toml | |
| parent | 9e481faf7dfce8f992ae6730ad49f6db335b6432 (diff) | |
Add conversion of poly polynomial to cvc node. (#5218)
This PR adds a new utility function to convert a poly::Polynomial back to a cvc4 Node.
Diffstat (limited to 'src/options/quantifiers_options.toml')
0 files changed, 0 insertions, 0 deletions