mogul:/mathweb/cs

type	:	package
id	:	`mogul:/mathweb/cs`
section	:	mogul:/mathweb
blurb	:	A special Constraint-Solver for proof planning handling non-linear constraints.
author	:	Juergen Zimmer
documentation	:	mathweb-cs.html
download	:	mathweb-cs.tgz
requires	:	x-ozlib://mathweb/share/XApplication.ozf x-ozlib://mathweb/sys/XService.ozf `x-ozlib://mathweb/loui/TermPrinter.ozf`
provides	:	`x-ozlib://mathweb/services/cosie` `x-ozlib://mathweb/cs/cosie/CosieClass.ozf` `x-ozlib://mathweb/cs/cosie/Graph.ozf` `x-ozlib://mathweb/cs/cosie/RISimpRules.ozf` `x-ozlib://mathweb/cs/cosie/Sets.ozf` `x-ozlib://mathweb/cs/cosie/DaVinciGraph.ozf` `x-ozlib://mathweb/cs/cosie/RIDomain.ozf` `x-ozlib://mathweb/cs/cosie/RISolver.ozf` `x-ozlib://mathweb/cs/fscos/FSCosClass.ozf` `x-ozlib://mathweb/cs/fscos/FSDomain.ozf` `x-ozlib://mathweb/cs/fscos/FSSimpRules.ozf` `x-ozlib://mathweb/cs/fscos/FSSolver.ozf` `x-ozlib://mathweb/cs/share/ConfigCS.ozf` `x-ozlib://mathweb/cs/share/Printer.ozf` `x-ozlib://mathweb/cs/share/Translate.ozf` `x-ozlib://mathweb/cs/share/ContextTreeClass.ozf` `x-ozlib://mathweb/cs/share/Sets.ozf` `x-ozlib://mathweb/cs/share/NodeClass.ozf` `x-ozlib://mathweb/cs/share/Share.ozf`

Cs