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)

Dominance Solver Km Leda

type:package
id:mogul:/chorus/dominance-solver-km-leda
section:mogul:/chorus
version:0.1.3
blurb:graph based solver and satisfiability test for normal dominance constraints
author:Chorus Project (sfb 378)
documentation:makefile.oz
download:chorus-dominance-solver-km-leda__1.2.5__source__0.1.3.pkg
chorus-dominance-solver-km-leda__1.3.0__source__0.1.3.pkg
requires:LEDA library (tested with version 4.4)
mogul:/chorus/clls
mogul:/niehren/base
mogul:/niehren/output
provides:x-ozlib://chorus/solver/km-leda/solver.ozf
x-ozlib://chorus/solver/km-leda/rclls-solver.ozf
x-ozlib://chorus/solver/km-leda/output.ozf
This package provides an implementation of the Solver for normal dominance constraints described in An Efficient Graph Algorithm for 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.