GitHub repository: BasCoding/VeRoLog-2019
Created: 2021-01-10T09:29:09Z
Description: My solution to the VeRoLog Solver Challenge 2019