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 2012-12-02 Sun

  • 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 2012-12-01 Sat

  • First release

Date: 2012-12-02 04:35:54 JST

Author: Naoyuki Tamura

Validate XHTML 1.0