Softpedia >Mac >  Applications filed under: DEC-SMALLINT-LIN problem  (1 item)

Apps filed under: DEC-SMALLINT-LIN problem

  RSS Feed for this tag 1 application totalLast updated: Feb 16th 2013, 23:28 GMT

     
  • 135 downloads
  • 203 KB
PBSugar

PBSugar 1.1.1

SAT-based Pseudo-Boolean problem solver

Feb 16th 2013, 23:28 GMT
Mac OS X