Basics PyASP library


In the following I will explain the basics on how to use the PyASP library. I assume that pyasp is already installed on your system. This tutorial has been tested with Python 3 and pyasp 1.4.1. You can download the logic programs that are used in this example here -> queens.lp and facts.lp.