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 with the basics of LogicNG, you can read about specific topics in our extensive documentation with the followign subjects. See the sidebar for all topics of the documentation. The documentation always 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 currate a small list of FAQ. If you have any further questions, feel free to create an issue.