Tutorial# Base Features Loading and Saving Formulas Modifying the Prefix Modifying the Matrix Solving PCNF Formulas Advanced Features Incremental Solving