_ _ _ _ _
/\ \ /\ \ /\ \ /\_\ / /\
\_\ \ / \ \\ \ \ / / / / / \
/\__ \ / /\ \ \\ \ \_/ / / / / /\ \__
/ /_ \ \ / / /\ \ \\ \___/ / / / /\ \___\
/ / /\ \ \ / / / \ \_\\ \ \_/ \ \ \ \/___/
/ / / \/_// / / / / / \ \ \ \ \ \
/ / / / / / / / / \ \ \ _ \ \ \
/ / / / / /___/ / / \ \ \ /_/\__/ / /
/_/ / / / /____\/ / \ \_\\ \/___/ /
\_\/ \/_________/ \/_/ \_____\/
This package allows users to add the clingo-dl propagator as a theory to clingo from Python code. It also supports running clingo-dl directly from the python command line.