SPARK Build Process and Problem Driver API Related Pages

Here is a list of all related documentation pages:

• Description of the SPARK Build Process
• Generate the solution sequence for a SPARK problem
• Build a SPARK problem statically
• Build a SPARK problem dynamically
• Automate the build process
• Build a SPARK problem simulator with a customized driver
• Implementation of the SPARK Driver Function
• Header files to include in the C++ file implementing the driver function
• Start the simulation session
• Load a SPARK problem at runtime
• Load a statically-built SPARK problem
• Set up the runtime controls
• Set up the preference settings
• Solve the SPARK problem
• Re-solve the SPARK problem with different runtime controls
• End the simulation session
• Catch the runtime exceptions
• SPARK Problem Driver Application Programming Interface
• Document Type Definition file
• Makefile
• Multi-problem command file

---