projects
/
platform
/
upstream
/
libsolv.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
remove 'kind' handling ( will re-appear in applayer ;-) )
[platform/upstream/libsolv.git]
/
src
/
solver.h
2008-02-15
Klaus Kaempf
remove 'kind' handling ( will re-appear in applayer...
blob
|
commitdiff
2008-02-12
Klaus Kaempf
adapt to reality
blob
|
commitdiff
|
diff to current
2008-02-07
Klaus Kaempf
prepare limittokind
blob
|
commitdiff
|
diff to current
2008-02-04
Stefan Schubert
added pool to arguments
blob
|
commitdiff
|
diff to current
2008-01-28
Stefan Schubert
Added callbacks for policy handling.
blob
|
commitdiff
|
diff to current
2008-01-18
Klaus Kaempf
introduce 'Covenants' as a generic representation of...
blob
|
commitdiff
|
diff to current
2008-01-11
Michael Schroeder
- fix support for splitprovides
blob
|
commitdiff
|
diff to current
2008-01-08
Michael Schroeder
- assertify
blob
|
commitdiff
|
diff to current
2008-01-03
Stefan Schubert
comments added
blob
|
commitdiff
|
diff to current
2007-12-30
Klaus Kaempf
add Decision (solver result element) and testcase
blob
|
commitdiff
|
diff to current
2007-11-29
Michael Schroeder
- rename findproblemrule to solver_findproblemrule
blob
|
commitdiff
|
diff to current
2007-11-29
Michael Schroeder
- make schubi's job much easier by providing nice helpe...
blob
|
commitdiff
|
diff to current
2007-11-28
Michael Schroeder
- fix false friend
blob
|
commitdiff
|
diff to current
2007-11-21
Michael Andres
use SATSOLVER_ prefix in include guards
blob
|
commitdiff
|
diff to current
2007-11-19
Michael Schroeder
- add solvable2str function to make things easier and...
blob
|
commitdiff
|
diff to current
2007-11-17
Michael Schroeder
- add problem traversal abstraction functions for schubi
blob
|
commitdiff
|
diff to current
2007-11-16
Michael Schroeder
- begone rc_output. and there was much rejoicing.
blob
|
commitdiff
|
diff to current
2007-11-12
Michael Schroeder
- make refine_suggestion static again
blob
|
commitdiff
|
diff to current
2007-11-12
Michael Schroeder
- always refine solutions, put result in problem queue
blob
|
commitdiff
|
diff to current
2007-11-10
Michael Schroeder
- moved some policy functions to policy.h
blob
|
commitdiff
|
diff to current
2007-11-08
Stefan Schubert
refine_suggestion
blob
|
commitdiff
|
diff to current
2007-11-08
Michael Schroeder
- implement branching and solution callback
blob
|
commitdiff
|
diff to current
2007-11-08
Michael Schroeder
- add a license
blob
|
commitdiff
|
diff to current
2007-11-07
Michael Schroeder
- move policy-ruby.c into ruby dir
blob
|
commitdiff
|
diff to current
2007-10-30
Michael Schroeder
- add vendor change policy (but fixes no test case...
blob
|
commitdiff
|
diff to current
2007-10-29
Michael Schroeder
- rename 'system' repo to 'installed'
blob
|
commitdiff
|
diff to current
2007-10-26
Duncan Mac-Vicar P
to follow SUSE tools conventions
blob
|
commitdiff
|
diff to current
2007-10-26
Duncan Mac-Vicar P
name the enum so I can use it in a typemap
blob
|
commitdiff
|
diff to current
2007-10-24
Michael Schroeder
- do a better job at presenting a solution
blob
|
commitdiff
|
diff to current
2007-10-22
Michael Schroeder
- add experimental weak rules support, solver tries...
blob
|
commitdiff
|
diff to current
2007-10-15
Michael Schroeder
find suggested packages
blob
|
commitdiff
|
diff to current
2007-10-15
Michael Schroeder
implemented GNADENLOS in a better way, now option ...
blob
|
commitdiff
|
diff to current
2007-10-15
Michael Schroeder
also prune to suggests/enhances, fixes tpctl testcases
blob
|
commitdiff
|
diff to current
2007-10-15
Michael Schroeder
make prune_to_recommended look at recommends, too.
blob
|
commitdiff
|
diff to current
2007-10-02
Klaus Kaempf
current state of 'sat-solver'
blob
|
commitdiff
|
diff to current