projects
/
platform
/
upstream
/
libsolv.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
12e4557
)
Adapt the bookmarks URL
author
Klaus Kämpf
<kkaempf@suse.de>
Mon, 14 Feb 2011 09:22:21 +0000
(10:22 +0100)
committer
Klaus Kämpf
<kkaempf@suse.de>
Mon, 14 Feb 2011 09:22:21 +0000
(10:22 +0100)
README
patch
|
blob
|
history
diff --git
a/README
b/README
index
8196396
..
bab2c62
100644
(file)
--- a/
README
+++ b/
README
@@
-16,7
+16,7
@@
This code is based on two major, but independent, blocks
Google for 'sat solver' to get links to the theory behind it.
-http://
del.icio.us/kkaempf/
solver gives a collection of bookmarks
+http://
pinboard.in/u:kkaempf/t:
solver gives a collection of bookmarks
related to this topic.
Some research papers are in doc/pdf.