PBSugar 1.1.1

SAT-based Pseudo-Boolean problem solver
PBSugar - PBSugar's help page provides the instructions you need in order to solve Pseudo-Boolean problems.
  1 Screenshot
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.

last updated on:
February 16th, 2013, 23:28 GMT
file size:
203 KB
price:
FREE!
license type:
BSD 
developed by:
Naoyuki Tamura
operating system(s):
Mac OS X
binary format:
-
category:
Home \ Developer Tools
PBSugar
Download Button

In a hurry? Add it to your Download Basket!

user rating

UNRATED
0.0/5
 

0/5

Rate it!
What's New in This Release:
  • Results for 669 instances of DEC-SMALLINT-LIN category is shown
read full changelog

Add your review!

SUBMIT