AITEC Contract Research Projects in FY1995 : Software
(13) Set Constraint Solvers
Dr.Yousuke Sato, Associate Professor, Ritsumeikan University
Set Constraint Solver
by
Dr. Yosuke Sato
Dept. of Computer Science
Ritsumeikan University
[Features of the Software]
The "Set Constraint Solver" is a small system that is based on computer algebra.
It offers an experimental environment of our original (Boolean) Groebner basis
that is not available in any other existing computer algebra systems.
It also offers a set constraint solver bases on our Grobner basis.
[Required Environment]
Any computer and any OS which supports a prolog environment.
We confirmed that our software runs on SICStus prolog and B-prolog.
[File Configuration]
Expanded directory has the following files:
README
README.j
RELEASE_NOTE
RELEASE_NOTE.j
set.pl(source file)
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)
backgroundj.tex(latex file of theoretical background of the system in Japanese)
