path to windows lib
rodin 2.8 target platform
if counter-example is set to NULL because of an exception on the Prolog side, the DisproverReasoner no longer throws a NullPointerException but fails with an appropriate error message
class path changed by gradle