# Logical programming

Repository related to LPROG Centrale Nantes subject

You need `clingo` and `clasp`