LogicNG 2.4.0 released.
logo
The Next Generation Logic Framework
Contact
Initializing search
    logic-ng/LogicNG
    • Home
    • Tutorial
    • Documentation
    • White Paper
    • Blog
    • Legal
    logic-ng/LogicNG
    • Home
    • Tutorial
      • Chapter 1 Problem Modelling
      • Chapter 2 Formulas
      • Chapter 3 Formula Functions
      • Chapter 4 Propositions
      • Chapter 5 SAT Solving
      • Chapter 6 MaxSAT Solving
    • Documentation
      • The Formula Factory
      • Formulas
        • Cardinality Constraints
        • Pseudo-Boolean Constraints
      • Formula Operations
        • Formula Functions
        • Formula Predicates
        • Formula Transformations
          • Normal Form Transformations
          • Simplifier Transformations
          • Other Transformations
      • Propositions
      • Solvers
        • SAT Solving
        • MaxSAT Solving
      • Knowledge Compilation
        • BDD
        • DNNF
      • Backbones
      • Model Counting and Enumeration
      • Explanations
        • Unsat Cores
        • MUS
        • Smallest MUS
      • Handlers
      • Graphs
      • I/O
      • Solving Configuration Problems with LogicNG
        • Mass Customization
        • Common Configuration Problems
        • The General Approach
        • Manual Testing vs. Automated Reasoning
        • On-the-fly Computation vs. Compilation
        • Decision Problems vs. Optimization Problems
        • Today's Use Cases
          • High-Level Configuration
          • Ordering Process
          • Bill of Materials
          • Homologation Requirements
          • ECU Configuration
        • Towards a Software-Definied World
      • References
      • Contact
    • Blog
        • 2022
      • Privacy Policy
      • Corporate Information

    Contact

    BooleWorks GmbH
    Radlkoferstr. 2
    81373 Munich, Germany

    Mail: info@booleworks.com
    Web: www.booleworks.com

    Copyright © BooleWorks GmbH
    Made with Material for MkDocs Insiders