Bibliothek für Boolsche Ausdrücke gesucht

  • 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?

Jetzt mitmachen!

Sie haben noch kein Benutzerkonto auf unserer Seite? Registrieren Sie sich kostenlos und nehmen Sie an unserer Community teil!