Solving Constraint Integer Programs
Pseudo-Boolean solver application.
Definition in file xternal_pbsolver.c.
Go to the source code of this file.