The wikis are now using the new authentication system.
If you did not migrate your account yet, visit

openSUSE:Libzypp satsolver development

Jump to: navigation, search
SAT Solver development information.



Version: git head C Developer Documentation

Version: git head Ruby Developer Documentation

Version: 11.1 Developer Documentation (SOON)

Getting the source

Version: git head libsatsolver HEAD

  • For generic git instructions Git.
  • For generic git instructions Git Hosting.
Anonymous clone
git clone git://
Authorized clone
git clone
Web repository browsing

See also