XBOOLE

XBOOLE wurde entwickelt um Boolesche Problem aus beliebigen Fachgebieten effizient lösen zu können.

  • Die Leistungsfähigkeit und Vielseitigkeit für Anwendungen ergibt sich aus den Eigenschaften von XBOOLE.

  • Der Kern von XBOOLE ist die portable XBOOLE-Bibliothek die in C-Programmen auf vielen Plattformen verwendet werden kann.

  • Der XBOOLE-Monitor ist ein Programm, das die einfache Nutzung der XBOOLE-Bibliothek aus einer grafischen Oberfläche heraus ermöglicht. Dieser "Boolesche Taschenrechner" steht kostenfrei für mehrere Plattformen zum Download bereit.

  • Die Grundlagen, Konzepte und viele Anwendungen von XBOOLE wurden in mehreren Büchern publiziert und sind hier geordnet nach Sprachen (erst Deutsch dann Englisch) und dem Erscheinungsjahr (zuerst das Neuste) aufgelistet.

  • Zur Lösung Boolescher Probleme sind viele Artikel in Zeitschriften, Kapitel in Büchern und Beiträge in Proceedings von Konferenzen erschienen, von denen viele als pdf-Datei heruntergeladen werden können.