diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-09-30 13:34:33 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-30 20:34:33 +0000 |
| commit | b106c95296860cf89ea7cef00c8e8187409e755e (patch) | |
| tree | 102eb4129f6a72617aef73c1cb494f16d64df31a /src/smt/solver_engine.h | |
| parent | 1582914d275314eb707aa21d952fd22f502bc963 (diff) | |
Integrate javadoc documentation (#7278)
This PR adds the cmake setup to generate javadoc documentation for the java API and integrates it into the sphinx documentation. Right now, we simply link to the javadoc. This PR also modifies a bunch of javadoc comments to use proper javadoc syntax.
Diffstat (limited to 'src/smt/solver_engine.h')
0 files changed, 0 insertions, 0 deletions