Package org.goplanit.tntp

Top level package for reading input files which are in the TNTP Format