PBSugar for Mac

203 KB   124 downloads
1.1.1 100% FREE BSD    
  not rated
SAT-based Pseudo-Boolean problem solver

description

download

specifications

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
1  
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