Boolsche Ausdrücke und Formeln sind ja in der Informatik allgegenwärtig.

Deshalb war ich erstaunt dass ich bei der Suche nach so einer Library nichts brauchbares gefunden habe.

Ich erwarte mir vernünftige Datenstrukturen, grundlegende Operationen wie Und/Oder/Nicht-Verknüpfen, CNF-, DNF-Berechnung, eventuell noch SAT-equivalent-CNF und SAT-equivalent-DNF Berechnung und solche relativ trivialen Dinge.

Prinzipiell könnte ich es ja selber schreiben aber ich denke es muss schon sowas geben, ich finds nur nicht.

Am liebsten wäre mir eine Lib in C oder C++.

Könnt ihr mir etwas empfehlen?