diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-07-06 04:13:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-05 21:13:47 -0500 |
| commit | 898f11d0945bdaaa8bb79a536b66b266c78f1daa (patch) | |
| tree | 308af61986c14fb79d3d67ba56b9f929f02d04ec /src/smt/output_manager.cpp | |
| parent | adf5216eff4e75dd9c5d08fce3bfc2161250c86e (diff) | |
Add doc page about transcendentals (#6755)
This PR adds a theory reference page for the transcendental extension.
Diffstat (limited to 'src/smt/output_manager.cpp')
0 files changed, 0 insertions, 0 deletions