VeRoLog challenge for Problem Solving and Search in Artificial Intelligence, Summer 2017
Primary LanguagePythonGNU General Public License v3.0GPL-3.0