Exceptions

Exceptions for Clingo-Explaid.

UnprocessedException

Bases: Exception

The assumptions property of an AssumptionPreprocessor was called before the program was processed.