| SPARK | Definitions of numerical constants, math functions, and the various types used to describe a SPARK problem |
| SPARK::AtomicClass | Definition of the atomic class API library used to manage the private data from the callbacks asociated with each SPARK::TObject and SPARK::TInverse instances |
| SPARK::Requests | Declarations of classes and functions needed to send/dispatch/process the SPARK requests |
| SPARK::Variable | Definition of classes and free functions used to implement the SPARK::TVariable class and the various interfaces to a SPARK::TVariable object |