PBSugar 1.1.1

SAT-based Pseudo-Boolean problem solver

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!

What's new in PBSugar 1.1.1:

  • Results for 669 instances of DEC-SMALLINT-LIN category is shown
Read full changelog
report
malware
send us
an update
LICENSE TYPE:
BSD 
FILE SIZE:
203 KB
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
Naoyuki Tamura
CATEGORY:
Home \ Developer Tools
1 PBSugar Screenshot:
PBSugar - PBSugar's help page provides the instructions you need in order to solve Pseudo-Boolean problems.
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

Runs on: Mac OS X (-)

requirements

#Pseudo-Boolean problem solver #DEC-SMALLINT-LIN problem #SAT-based solver #Pseudo-Boolean #problem #solve #solver

Add your review!

SUBMIT