openSUSE 11.0
Package Descriptions
libsatsolver-devel
A new approach to package dependency solving
A new approach to package dependency solving
Except for packages subject to a commercial license, the license identified below is the license designated by the open source project.
| Version: | 0.9.2 |
|---|---|
| Release: | 1.1 |
| Medium: | DVD1 |
| Path: | /suse/i586/libsatsolver-devel-0.9.2-1.1.i586.rpm |
| Group: | Development/Libraries/C |
| License: | BSD 3-Clause |
| Size: | 1.38 MB |
| Homepage: | http://svn.opensuse.org/svn/zypp/trunk/sat-solver |
File list
-rwxr-xr-x 1 root root 227444 Jun 7 03:09 /usr/bin/deptestomatic -rwxr-xr-x 1 root root 132060 Jun 7 03:09 /usr/bin/helix2solv drwxr-xr-x 2 root root 0 Jun 7 03:09 /usr/include/satsolver -rw-r--r-- 1 root root 640 Jun 5 14:47 /usr/include/satsolver/applayer.h -rw-r--r-- 1 root root 696 Jun 5 14:47 /usr/include/satsolver/bitmap.h -rw-r--r-- 1 root root 1252 Jun 5 14:47 /usr/include/satsolver/covenant.h -rw-r--r-- 1 root root 836 Jun 5 14:47 /usr/include/satsolver/decision.h -rw-r--r-- 1 root root 1185 Jun 5 14:47 /usr/include/satsolver/dependency.h -rw-r--r-- 1 root root 1325 Jun 5 14:47 /usr/include/satsolver/dirpool.h -rw-r--r-- 1 root root 792 Jun 5 14:47 /usr/include/satsolver/evr.h -rw-r--r-- 1 root root 1483 Jun 5 14:47 /usr/include/satsolver/hash.h -rw-r--r-- 1 root root 617 Jun 5 14:47 /usr/include/satsolver/job.h -rw-r--r-- 1 root root 685 Jun 5 14:47 /usr/include/satsolver/kinds.h -rw-r--r-- 1 root root 7924 Jun 5 14:47 /usr/include/satsolver/knownid.h -rw-r--r-- 1 root root 2464 Jun 5 14:47 /usr/include/satsolver/policy.h -rw-r--r-- 1 root root 8405 Jun 5 14:47 /usr/include/satsolver/pool.h -rw-r--r-- 1 root root 302 Jun 5 14:47 /usr/include/satsolver/poolarch.h -rw-r--r-- 1 root root 970 Jun 5 14:47 /usr/include/satsolver/poolid.h -rw-r--r-- 1 root root 1603 Jun 5 14:47 /usr/include/satsolver/pooltypes.h -rw-r--r-- 1 root root 304 Jun 5 14:47 /usr/include/satsolver/poolvendor.h -rw-r--r-- 1 root root 1084 Jun 5 14:47 /usr/include/satsolver/problem.h -rw-r--r-- 1 root root 1412 Jun 5 14:47 /usr/include/satsolver/queue.h -rw-r--r-- 1 root root 616 Jun 5 14:47 /usr/include/satsolver/relation.h -rw-r--r-- 1 root root 6149 Jun 5 14:47 /usr/include/satsolver/repo.h -rw-r--r-- 1 root root 449 Jun 5 14:47 /usr/include/satsolver/repo_helix.h -rw-r--r-- 1 root root 441 Jun 5 14:47 /usr/include/satsolver/repo_solv.h -rw-r--r-- 1 root root 6967 Jun 5 14:47 /usr/include/satsolver/repodata.h -rw-r--r-- 1 root root 1138 Jun 5 14:47 /usr/include/satsolver/solution.h -rw-r--r-- 1 root root 816 Jun 5 14:47 /usr/include/satsolver/solvable.h -rw-r--r-- 1 root root 11354 Jun 5 14:47 /usr/include/satsolver/solver.h -rw-r--r-- 1 root root 947 Jun 5 14:47 /usr/include/satsolver/solverdebug.h -rw-r--r-- 1 root root 1272 Jun 5 14:47 /usr/include/satsolver/strpool.h -rw-r--r-- 1 root root 1138 Jun 5 14:47 /usr/include/satsolver/transaction.h -rw-r--r-- 1 root root 1564 Jun 5 14:47 /usr/include/satsolver/util.h -rw-r--r-- 1 root root 662 Jun 5 14:47 /usr/include/satsolver/xrepokey.h -rw-r--r-- 1 root root 3141 Jun 5 14:47 /usr/include/satsolver/xsolvable.h -rw-r--r-- 1 root root 184450 Jun 7 03:09 /usr/lib/libappsatsolver.a -rw-r--r-- 1 root root 814510 Jun 7 03:09 /usr/lib/libsatsolver.a drwxr-xr-x 2 root root 0 Jun 7 03:09 /usr/share/doc/packages/libsatsolver-devel -rw-r--r-- 1 root root 2551 Jun 5 14:47 /usr/share/doc/packages/libsatsolver-devel/PLANNING -rw-r--r-- 1 root root 1054 Jun 5 14:47 /usr/share/doc/packages/libsatsolver-devel/README -rw-r--r-- 1 root root 9122 Jun 5 14:47 /usr/share/doc/packages/libsatsolver-devel/README.attr -rw-r--r-- 1 root root 2444 Jun 5 14:47 /usr/share/doc/packages/libsatsolver-devel/README.format -rw-r--r-- 1 root root 2377 Jun 5 14:47 /usr/share/doc/packages/libsatsolver-devel/README.policy -rw-r--r-- 1 root root 2390 Jun 5 14:47 /usr/share/doc/packages/libsatsolver-devel/README.pool -rw-r--r-- 1 root root 716 Jun 5 14:47 /usr/share/doc/packages/libsatsolver-devel/README.queue -rw-r--r-- 1 root root 1905 Jun 5 14:47 /usr/share/doc/packages/libsatsolver-devel/THEORY