Focus on intuitionistic logic.
Bump the timeout.
Rename: exit (arbitrary code), rather than die (which suggests an error).
Depend on the Makefile.
Explicit dependency on kuno.lisp.
Try to parse integers.
Rearrange.
Better name.
Check the length of the commandline first.
We don't need Alexandria (here).
Separate handling of commandline arguments.
Parse TPTP files; NIL if you can't.
Rearrange.
General interface for solving problems.
Use the utility.
Depth is to be a parameter.
Solving problems now requires a depth parameter.
The depth argument.
Parse the depth parameter.
Pass along the depth parameter.