projects
/
platform
/
upstream
/
libsolv.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
add "-h" for help
2008-02-13
Klaus Kaempf
add "-h" for help
commit
|
commitdiff
|
tree
2008-02-13
Klaus Kaempf
update to version 0.0.14
commit
|
commitdiff
|
tree
2008-02-12
Klaus Kaempf
introduce libappsatsolver
commit
|
commitdiff
|
tree
2008-02-12
Klaus Kaempf
Introduce 'application layer' below sat-solver/applayer.
commit
|
commitdiff
|
tree
2008-02-12
Klaus Kaempf
adapt to reality
commit
|
commitdiff
|
tree
2008-02-07
Klaus Kaempf
honor Solver.limittokind
commit
|
commitdiff
|
tree
2008-02-07
Klaus Kaempf
prepare limittokind
commit
|
commitdiff
|
tree
2008-02-07
Klaus Kaempf
introduce Solvable.kind to remove the need for strcmp...
commit
|
commitdiff
|
tree
2008-01-18
Klaus Kaempf
introduce 'Covenants' as a generic representation of...
commit
|
commitdiff
|
tree
2008-01-09
Klaus Kaempf
Problem.to_s and Decision.to_s
commit
|
commitdiff
|
tree
2008-01-08
Klaus Kaempf
fprintf line number immediately before calling abort()
commit
|
commitdiff
|
tree
2008-01-07
Klaus Kaempf
update to current solver format (data taken from 10...
commit
|
commitdiff
|
tree
2008-01-07
Klaus Kaempf
set pool architecture
commit
|
commitdiff
|
tree
2008-01-04
Klaus Kaempf
adapt to swig bindings (incomplete, non-working)
commit
|
commitdiff
|
tree
2008-01-04
Klaus Kaempf
further steps towards Perl bindings, still incomplete
commit
|
commitdiff
|
tree
2007-12-30
Klaus Kaempf
negate p before use as offset
commit
|
commitdiff
|
tree
2007-12-30
Klaus Kaempf
add Decision (solver result element) and testcase
commit
|
commitdiff
|
tree
2007-12-28
Klaus Kaempf
fix examples/ruby/basic.rb
commit
|
commitdiff
|
tree
2007-12-22
Klaus Kaempf
prepare to pass rootdir for reading rpmdb from other...
commit
|
commitdiff
|
tree
2007-11-28
Klaus Kaempf
fix typo
commit
|
commitdiff
|
tree
2007-11-14
Klaus Kaempf
and the winner is ...
commit
|
commitdiff
|
tree
2007-11-09
Klaus Kaempf
Fix x64_86 build which exits with
commit
|
commitdiff
|
tree
2007-11-09
Klaus Kaempf
make vintage systems happy too
commit
|
commitdiff
|
tree
2007-11-09
Klaus Kaempf
fix the build
commit
|
commitdiff
|
tree
2007-11-01
Klaus Kaempf
First try on a (ruby based) policy engine
commit
|
commitdiff
|
tree
2007-10-29
Klaus Kaempf
keep 'bool'ness in the comment
commit
|
commitdiff
|
tree
2007-10-22
Klaus Kaempf
make it compile on 64bit
commit
|
commitdiff
|
tree
2007-10-02
Klaus Kaempf
prep for package
commit
|
commitdiff
|
tree
2007-10-02
Klaus Kaempf
current state of 'sat-solver'
commit
|
commitdiff
|
tree