mogul:/chorus/solver

type	:	package
id	:	`mogul:/chorus/solver`
section	:	mogul:/chorus
version	:	0.1.0
author	:	Chorus Project (sfb 378)
documentation	:	makefile.oz
download	:	chorus-solver__1.2.5__source__0.1.0.pkg chorus-solver__1.3.0__source__0.1.0.pkg
requires	:	`mogul:/chorus/clls-solver-ke` `mogul:/chorus/dominance-solver-dd` `mogul:/chorus/dominance-solver-sm` `mogul:/niehren/base` `mogul:/niehren/output`
provides	:	`x-ozlib://chorus/solver/data-base.ozf` `x-ozlib://chorus/solver/configuration.ozf` `x-ozlib://chorus/solver/jn/rclls-solver.ozf`

Solver