TODO.txt

[X] 1. Move exceptions out of yices_api and into yices. yices_api should not throw exceptions.
yices should throw them instead.

[] 2. doc strings in yices to reflect this. do the yices_api doc strings need TLC?

[] 3. Solve the gmp and libpoly conundrums, maybe ask Dejan?

[X] 4. Add tests for the yices package.

[X] 5. Fix the `lint_all` complaints.

[] 6. Investigate the new type annotation mechanism.

[] 7. Implement the Limits class (and uses) in BD's Java bindings.
ctypes quietly truncates 64 to 32 so we need to make sure we know
when this happens.