definitions.md

Glossary with basic terms used in documentation

• Variable — variable from initial problem. Example: x1; x3
• Literal — variable with value. Example: -x1; -x2; x3
• Clause — set of literals, Input is set of clauses. Example: (x1 x2 -x3)
• Unit clause — clause with all false literals except one, which is undefined.
• Lemma — clause created by analyzeConflict()