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)

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