ASPRILO

About

This is source tree of ASPRILO, an intra-logistics benchmark suite for answer set programming. For further details, please consult the documentation on our website at https://asprilo.github.io/.

Directory Structure

• ./docs/ contains the documentation sources
• ./checker/ contains the instance generator sources
• ./generator/ contains the instance generator sources
• ./visualizer/ contains the instance visualizer sources