projects / cvc5.git / commit
| author | Gereon Kremer <nafur42@gmail.com> | |
| Tue, 6 Jul 2021 02:13:47 +0000 (04:13 +0200) | ||
| committer | GitHub <noreply@github.com> | |
| Tue, 6 Jul 2021 02:13:47 +0000 (21:13 -0500) | ||
| commit | 898f11d0945bdaaa8bb79a536b66b266c78f1daa | |
| tree | 308af61986c14fb79d3d67ba56b9f929f02d04ec | tree |
| parent | adf5216eff4e75dd9c5d08fce3bfc2161250c86e | commit | diff |
| docs/_static/custom.css | diff | blob | history | |
| docs/references.bib | diff | blob | history | |
| docs/theories/transcendentals.rst | [new file with mode: 0644] | blob |
| docs/theory.rst | diff | blob | history | |
| examples/api/cpp/CMakeLists.txt | diff | blob | history | |
| examples/api/cpp/transcendentals.cpp | [new file with mode: 0644] | blob |
| examples/api/python/CMakeLists.txt | diff | blob | history | |
| examples/api/python/transcendentals.py | [new file with mode: 0644] | blob |
| examples/api/smtlib/transcendentals.smt2 | [new file with mode: 0644] | blob |