Inequations freeware
Inequations
Added: October 16, 2013 | Visits: 370
BoolVar/Pb is a Java library for translating pseudo-Boolean constraints into CNF formulae. Pseudo-Boolean constraints are linear inequations with integer coefficients and 0/1 variables. They can be used for modelling a number of problems in the area of time-table design, planning, resource...
Platforms: Mac
License: Freeware | Size: 748.54 KB | Download (36): BoolVar/PB Download |