(17) Development of an Efficient Solver for Hierarchical Linear Systems

[Software Functions]

HiRise is a constraint solver that performs incremental satisfaction
of constraint systems.  It provides stay, edit, and linear
constraints, and also allows programmers to specify constraints with
hierarchical preferences (i.e. constraint hierarchies) like the
DeltaBlue constraint solver developed by Borning et al.

The characteristics of HiRise are scalability and reliability: it
efficiently solves up to thousands of simultaneously satisfied
constraints; theoretically, it correctly solves any constraint
hierarchies described as combination of stay, edit, and linear
constraints.

[Necessary Environments]

The HiRise constraint solver:
- ANSI C++ (templates required)

Sample program:
- GNU CC 2.6.3 or later
- target execution environment of GNU CC

Demo application:
- Microsoft Visual C++ 5.0
- Microsoft Windows 95 or NT 4.0

[Quantity of the software and file configuration]

The HiRise constraint solver: approx. 4000 lines
The demo application (HiRiseDemo): approx. 6000 lines

README files (English/Japanese):
Readme-E
Readme-J

User's manual:
readme.txt

Source code of the HiRise constraint solver:
HRBase.cpp    HREdit.cpp    HRList.cpp    HRSolver.cpp  HRVar.cpp
HRBase.h      HREdit.h      HRList.h      HRSolver.h    HRVar.h
HRCon.cpp     HRLinear.cpp  HRParser.cpp  HRStay.cpp
HRCon.h       HRLinear.h    HRParser.h    HRStay.h

Sample program and its makefile:
sample.cpp
makefile

Source code directory and binary code of a demo application:
demo/
HiRiseDemo.exe

Terms of use (English/Japanese):
use-of-software-E
use-of-software-J

[FTP]

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