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