current state of 'sat-solver'
authorKlaus Kaempf <kkaempf@suse.de>
Tue, 2 Oct 2007 12:40:07 +0000 (12:40 +0000)
committerKlaus Kaempf <kkaempf@suse.de>
Tue, 2 Oct 2007 12:40:07 +0000 (12:40 +0000)
commit8f8a9ed5192a6737d63364029cb05d91f1d0e399
tree287434efe18f662976f8dad334d489dd60ff6e88
current state of 'sat-solver'
49 files changed:
INSTALL [new file with mode: 0644]
Makefile.am [new file with mode: 0644]
README [new file with mode: 0644]
bootstrap [new file with mode: 0755]
configure.in [new file with mode: 0644]
src/Makefile.am [new file with mode: 0644]
src/bitmap.c [new file with mode: 0644]
src/bitmap.h [new file with mode: 0644]
src/evr.c [new file with mode: 0644]
src/evr.h [new file with mode: 0644]
src/hash.h [new file with mode: 0644]
src/pool.c [new file with mode: 0644]
src/pool.h [new file with mode: 0644]
src/poolarch.c [new file with mode: 0644]
src/poolarch.h [new file with mode: 0644]
src/poolid.c [new file with mode: 0644]
src/poolid.h [new file with mode: 0644]
src/poolid_private.h [new file with mode: 0644]
src/pooltypes.h [new file with mode: 0644]
src/queue.c [new file with mode: 0644]
src/queue.h [new file with mode: 0644]
src/solvable.h [new file with mode: 0644]
src/solver.c [new file with mode: 0644]
src/solver.h [new file with mode: 0644]
src/source.c [new file with mode: 0644]
src/source.h [new file with mode: 0644]
src/source_solv.c [new file with mode: 0644]
src/source_solv.h [new file with mode: 0644]
src/util.c [new file with mode: 0644]
src/util.h [new file with mode: 0644]
tools/Makefile.am [new file with mode: 0644]
tools/dumpsolv.c [new file with mode: 0644]
tools/helix2solv.c [new file with mode: 0644]
tools/patchxml2solv.c [new file with mode: 0644]
tools/rpmdb2solv.c [new file with mode: 0644]
tools/rpmmd2solv.c [new file with mode: 0644]
tools/source_helix.c [new file with mode: 0644]
tools/source_helix.h [new file with mode: 0644]
tools/source_patchxml.c [new file with mode: 0644]
tools/source_patchxml.h [new file with mode: 0644]
tools/source_rpmdb.c [new file with mode: 0644]
tools/source_rpmdb.h [new file with mode: 0644]
tools/source_rpmmd.c [new file with mode: 0644]
tools/source_rpmmd.h [new file with mode: 0644]
tools/source_susetags.c [new file with mode: 0644]
tools/source_susetags.h [new file with mode: 0644]
tools/source_write.c [new file with mode: 0644]
tools/source_write.h [new file with mode: 0644]
tools/susetags2solv.c [new file with mode: 0644]