This document describes the usage of PBSugar program, a SAT-based Pseudo-Boolean (PB for short) solver. PBSugar can solve problems of the DEC-SMALLINT-LIN category. Please see PBSugar web page for more details.
Date: 2013-01-29 12:22:24 JST
Author: Naoyuki Tamura