Package org.goplanit.tntp.input
Scanner reader for reading input files which are in the TNTP Format
-
Class Summary Class Description TntpInputBuilder Class which reads input from TNTP files
| Class | Description |
|---|---|
| TntpInputBuilder |
Class which reads input from TNTP files
|