CHANGES of SugarTracer
Overview
This document describes the major changes of SugarTracer program which can trace the search of SAT solver for a CNF file generated by Sugar.
Version 1.0.1
- Descrition is added to gp03-01.html file.
- Bug fix for constant variables.
- Sat4j SearchListener#conflictFound(int lit) is handled as conflict clause.
Version 1.0.0
- First release