(10) Set Constraint Solvers

[Software Features]

The "Set Constraint Solver" is a small system that is based on
computer algebra.  This system offers an experimental environment of
our original (Boolean) Groebner basis that is not available in any
other existing computer algebra system.  It also offers a set
constraint solver basis on our Groebner basis.

[Required Environment]

Any computer and any OS which supports a KLIC environment.
We confirmed that our software runs on SUN OS 4.1.3, 5.4 and
FreeBSD.

[File Configuration]

Expanded directory has the following directory and files:


README-E
README-J
RELEASE_NOTE
RELEASE_NOTE-J
setsolver.kl1(KLIC source program)
manual.tex (latex file for user manual)
manualj.tex (latex file for user manual in Japanese)
background.tex (latex file of theoretical background of the system)
example (a directory where 4 benchmark files are located)

[Others]

This software is still under development.

[FTP]

• README
• Program and Documents in Japanese [43.3K]