PBSugar

SAT-based Pseudo-Boolean problem solver
Download

PBSugar Ranking & Summary

Advertisement

  • Rating:
  • License:
  • BSD
  • Publisher Name:
  • Naoyuki Tamura
  • Operating Systems:
  • Mac OS X
  • File Size:
  • 203 KB

PBSugar Tags


PBSugar Description

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.


PBSugar Related Software

About SoftwareSea