mogul:/chorus/dominance-solver-sm

type	:	package
id	:	`mogul:/chorus/dominance-solver-sm`
section	:	mogul:/chorus
version	:	0.4.5
blurb	:	a graph-based solver for normal dominance constraints with set operators
authors	:	Chorus Project (sfb 378) Mogul:/smiele/sebastian
category	:	`nlp`
download	:	chorus-dominance-solver-sm__1.2.5__source__0.4.5.pkg chorus-dominance-solver-sm__1.3.0__source__0.4.5.pkg
requires	:	`mogul:/smiele/graph` `mogul:/niehren/base` `mogul:/chorus/clls`
provides	:	`x-ozlib://chorus/solver/sm/solver.ozf` `x-ozlib://chorus/solver/sm/rclls-solver.ozf` `x-ozlib://chorus/solver/sm/output.ozf`

This package provides an implementation of the Solver for weakly normal dominance constraints described in An Efficient Algorithm for Weakly Normal Dominance Constraints.

See the page Solvers for (Weakly) Normal Dominance Constraints for information on the installation and usage of this package. The page also contains informations on other solvers and example constraints.

Dominance Solver Sm