TODO

GraphProver TODO -- Tasks that need implementing.             -*-outline-*-

* KNOWN BUGS
* FEATURES OR PROBLEMS

  + tests: Write more tests and make the existing ones stricter.

* OPTIMIZATION AND CLEAN UP

============================================================================

Copyright (C) 2013-2017 PUC-Rio/Laboratorio TecMF

Permission is granted to copy, distribute and/or modify this document under
the terms of the GNU Free Documentation License, Version 1.3 or any later
version published by the Free Software Foundation; with no Invariant
Sections, with no Front-Cover Texts, and with no Back-Cover Texts.  A copy
of the license is included in the "GNU Free Documentation License" file as
part of this distribution.


Local Variables:
mode: outline
outline-regexp: " *[-+*.] \\|"
End: