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 St

type:package
id:mogul:/chorus/dominance-solver-st
section:mogul:/chorus
version:0.0.3
blurb:graph based solver for the enumeration of all solved forms of a normal dominance constraints
author:Chorus Project (sfb 378)
documentation:makefile.oz
download:chorus-dominance-solver-st__1.2.5__source__0.0.3.pkg
chorus-dominance-solver-st__1.3.0__source__0.0.3.pkg
requires:LEDA library
provides:x-ozlib://chorus/solver/st/solver.ozf
x-ozlib://chorus/solver/st/rclls-solver.ozf