PBSugar for Mac

1.1.1 100% FREE BSD    
  UNRATED
DOWNLOAD NOW 203 KB

  123 downloads

SAT-based Pseudo-Boolean problem solver

description

download

specs

changelog

PBSugar is a free, open-source and command-line based utility that enables you to easily solve SAT-based Pseudo-Boolean problems.

Specifically, PBSugar is able to solve problems of the DEC-SMALLINT-LIN category.
read more   
Last updated on February 16th, 2013
PBSugar - PBSugar's help page provides the instructions you need in order to solve Pseudo-Boolean problems.

top FREE alternatives

0 User reviews so far.

SUBMIT