Index
All Packages
All Categories
By Author
ap
(3)
cp
(3)
dp
(3)
exe
(3)
gui
(0)
gui/gtk
(0)
gui/tk
(4)
io
(1)
lib
(11)
math
(0)
net
(9)
nlp
(18)
op
(4)
os
(2)
program
(3)
sp
(2)
tool
(9)
wp
(2)
xml
(2)
Mehlhorn
type
:
package
id
:
mogul:/duchier/mehlhorn
section
:
mogul:/duchier
version
:
1.0
blurb
:
graph-based satisfiability test for dominance constraints
authors
:
Denys Duchier
Kurt Mehlhorn
category
:
cp
documentation
:
index.html
download
:
duchier-mehlhorn.tgz
provides
:
x-ozlib://duchier/cp/mehlhorn/Mehlhorn.ozf