At the moment NuZot cannot solve simple boolean logic problem as Z3 because it force to set a temporal extension. It would be better to set the temporal extension to 0 or 1 and by default solve boolean logic problems.
At the moment NuZot cannot solve simple boolean logic problem as Z3 because it force to set a temporal extension.
It would be better to set the temporal extension to 0 or 1 and by default solve boolean logic problems.