ciaopp_master (application)

This programs analyzes modules read in the form of terms from the standard input.

This program should not be used directly, it should be used through ciaopp_batch.

Workflow: This program uses workers to launch ciaopp analysis. It controls the analysis time of each worker with a timeout.