Testing and benchmarking CiaoPP

This part contains the programs for testing and benchmarking CiaoPP.

Currently, only the documentation of the tests for incremental (modular) analysis is available.


Subparts