platform/upstream/libsolv.git
16 years agocurrent state of 'sat-solver'
Klaus Kaempf [Tue, 2 Oct 2007 12:40:07 +0000 (12:40 +0000)]
current state of 'sat-solver'