Skip to content

Latest commit

 

History

History
46 lines (36 loc) · 1.39 KB

README.md

File metadata and controls

46 lines (36 loc) · 1.39 KB

Automated Warehousing Scenario

  • The following is the implementation for the Automated Warehouse Scenario, details about which can be found in the ASP challenge 2019

  • The project is complete with no currently known anomalies

  • Please find the directory structure below

    • simpleInstances It contains the various initialization files for checking the working of the system.
     	+ inst1.asp
 	+ inst2.asp
 	+ inst3.asp
 	+ inst4.asp
 	+ inst5.asp

    • convert_input.asp - It changes the input file schema to an easily readable and understanble form that we used to implement the constraints of the project.

    • parsing.asp - This file contains code for obtaining various values for the number of objects and their type in the system.

    • demo.asp - The main file where the code for all the constraints resides including

    • description.pdf - The pdf containing the problem statement and description of the system.

    • script.py - A python file for easier execution of the program.

Dependencies

1. Python==3.7
2. Clingo==5.4.0

How to Run

  1. Make sure you have python and clingo configured on the system.
  2. Download the project into a suitable folder on your local computer.
  3. Run the script.py file to test the project.

Commands

python script.py