Previous:
CLPQR MIP
, Up:
lib-clpqr
10.11.9 Implementation Architecture
The system consists roughly of the following components:
A polynomial normal form expression simplification mechanism.
A solver for linear equations [Holzbaur 92a].
A simplex algorithm to decide linear inequalities [Holzbaur 94].
CLPQR Fragments and Bits
: Fragments and Bits
CLPQR Bugs
: Bugs
User's Manual
Table of Contents
Send feedback on this subject.