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. See the sidebar for all topics of the documentation. 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

FAQ

We curate a small list of FAQ. If you have any further questions, feel free to create an issue.