xternal_pbsolver.c File Reference

Detailed Description

Pseudo-Boolean solver application.

Author

Alexander Hoen

Gioni Mexi

Dominik Kamp

Definition in file xternal_pbsolver.c.

Go to the source code of this file.