LOGICNG

LogicNG is a Java Library for creating, manipulating and solving Boolean and Pseudo-Boolean formulas. It includes 100% Java implementations of popular tools like MiniSAT, Glucose, PBLib, or OpenWBO... If you want a high-level overview of LogicNG and how it is used in many applications in the area of product configuration, you can read our white paper... Harness the Power of Logic in your Projects

Also known as: BooleWorks, BooleWorks GmbH

Registration numbers: HRB 240898 (W)

VAT numbers: DE318312876

Primary location: München Germany