The python script is used to change the parameters of the problem and generate the correspondent input file digestible for ASP.

The solver can be launched from the python script, or directly from command line .\clingo.exe .\input.lp .\solver.lp

solver can be downloaded at https://sourceforge.net/projects/potassco/files/clingo/ or installed on python using Anaconda following instruction at https://potassco.org/clingo/