L'ho provata anche io .... la versione < 3 è anche gratuita.... questa però ha un problema... cioè converte i valori boolean in valori interi... per esempio questa espressione che dovrebbe essere sematicamente scorretta perchè fa delle somme di espressioni booleana, per la libreria è corretta...

(z+z > z+r) + (z+z > z+x)+ (z+z > z*x)

Grazie!!!