Salve a tutti, sono alla ricerca di una libreria che gestisca formule di logica booleana classica, qualcuno è in grado di darmi indicazioni utili in merito?
Grazie