Hi,

Sorry to hear that you are strugling. Please download the latest version of Nutil (https://github.com/Neural-Systems-at-UIO...). It only has the Quantifier version but maybe that's the only feature you need?

As usual it is best to install Nutil locally on your machine.

Let us know if this solved your issue.

Best regards,

Maja.