Home

LogicNG Tutorial

If you are new to LogicNG, we recommend to start with our tutorial. In six chapters you learn the basics like creating and parsing formulas, manipulating formulas, and using SAT- and MaxSAT solvers.

LogicNG Documentation

If you are already familiar with the basics of LogicNG, you can read about specific topics in our extensive documentation with the following subjects. The documentation is always up to date to the latest release of LogicNG.

• The Formula Factory
• Formulas
• Formula Operations
• Propositions
• Solvers
• Knowledge Compilation
• Backbones
• Model Counting and Enumeration
• Explanations
• Handlers
• Graphs
• IO