Satisfiable

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

This project provides a highly adaptive and easy to use command line option parser for Java applications. Apache CLI Command Line Parser was not satisfiable, so this API was intended to be more "complete" and easier to use than other known libraries. Platforms: Mac