README file of PBSugar

Table of Contents

Overview

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

Validate XHTML 1.0