projects
/
platform
/
upstream
/
libsolv.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
plug weakrulemap memory map if the solver gets re-run
[platform/upstream/libsolv.git]
/
src
/
poolid_private.h
2013-10-16
Michael Schroeder
remove trailing whitespace
blob
|
commitdiff
2011-05-24
Michael Schroeder
rename satsolver -> libsolv
blob
|
commitdiff
|
diff to current
2007-12-04
Michael Schroeder
- switch to new solv format using schemata
blob
|
commitdiff
|
diff to current
2007-11-21
Michael Andres
use SATSOLVER_ prefix in include guards
blob
|
commitdiff
|
diff to current
2007-11-16
Michael Matz
Reduce C&P code by factoring out the uniquifying string...
blob
|
commitdiff
|
diff to current
2007-11-08
Michael Schroeder
- add a license
blob
|
commitdiff
|
diff to current
2007-10-02
Klaus Kaempf
current state of 'sat-solver'
blob
|
commitdiff
|
diff to current