mogul:/duchier/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`

Mehlhorn