Logik

Wir sind Spezialisten für mathematische Logik und deren Anwendung auf industrielle Problemstellungen. Sowohl in Wissenschaft als auch Praxis beschäftigen wir uns seit vielen Jahren mit Boolescher und Pseudo-Boolescher Logik sowie linearer Optimierung.

Automotive

Wir fokussieren uns auf Algorithmen zum Varianten- und Komplexitätsmanagement bei Automobilherstellern und ihren Zulieferern. Die dabei entstehenden Software Tools und Systeme helfen den OEMs, die enorme Variatenvielfalt in den Griff zu bekommen.

Software

In kleinen Teams aus Spezialisten entwickeln wir maßgeschneiderte Softwarekomponenten und Services. Dabei haben wir uns auf Java sowie JavaEE spezialisiert. Unsere eigene Open Source Logik Bibliothek LogicNG ist Grundlage vieler unserer Projekte.

LogicNG Logo

Mit was wir arbeiten

Logik Open Source

LogicNG ist eine von uns entwickelte Java Bibliothek für das Arbeiten mit Booleschen und Pseudo-Booleschen Formeln. Sie beinhaltet effiziente Datenstrukturen sowie eine Vielzahl von Algorithmen zum Manipulieren, Lösen und Optimieren von Formeln. Die Library ist für den Einsatz in industriellen Systemen ausgelegt, in denen jeden Tag Millionen von Anfragen verarbeitet werden müssen.

LogicNG ist unter der liberalen Apache 2 Lizenz veröffentlicht und steht auf GitHub zur Verfügung. Bei einigen namhaften deutschen Automobilherstellern ist LogicNG in zentralen Systemen - auch mit Anbindung an die Online- und Händlerkonfiguratoren - im Einsatz.

Wer wir sind

Das Team

Unsere Mitarbeiterinnen und Mitarbeiter - alle studierte Informatiker und Mathematiker - sind Fachberater und Softwareentwickler in Personalunion. Sie begleiten daher ein Projekt von der ersten Machbarkeitsstudie über die Konzeption, die Implementierung, das Testing und den Betrieb in seinem gesamten Lebenszyklus und bieten so unseren Kunden durchgängige Ansprechpartner. Der sonst übliche Verlust an Wissen zwischen Konzeptions- und Entwicklungsteam entfällt damit und wir können auch größere Softwareprojekte mit kleinen schlagkräftigen Teams bestreiten.

Wir beschäftigen uns jedoch nicht nur praktisch mit Softwareentwicklung, sondern publizieren auch immer wieder wissenschaftliche Fachartikel zu den Themen Logik, Optimierung, Variantenbeherrschung und halten Vorträge sowohl auf wissenschaftlichen als auch industriellen Konferenzen.

BooleWorks GmbH

Radlkoferstraße 2
81373 München

info@booleworks.com