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