[not loaded]PublicShow sourcemain.pl -- sCASP as a stand-alone program

This module allows running scasp as a stand-alone program that loads one or more scasp source files, answer the (last) query and exit.

Source main(+Argv)
Used when calling from command line by passing the command line options and the input files.