Satsolver interface

Interface to sat-pool and sat-solver. More...

Interface to sat-pool and sat-solver.

Generated on Fri Mar 2 09:46:08 2012 for libzypp by  doxygen 1.6.3