It is possible to invoke the tool directly from the command line.
Suppose we have an NFN program in a file named example.txt:
$ nfn2dlp.rb example.txt
- to obtain the answer sets of the NFN program (if the DLV executable is to be invoched as ./d) write:
$ nfnsolve.rb --dlv ./d example.txt
Specify --help for more detailed usage information.
