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. 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. 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.