![]()
SPARK Build Process and Problem Driver API
![]()
![]()
Description of the SPARK Build Process
![]()
![]()
Generate the solution sequence for a SPARK problem
![]()
![]()
Build a SPARK problem statically
![]()
![]()
Build a SPARK problem dynamically
![]()
![]()
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
![]()
![]()
Load a SPARK problem at runtime
![]()
![]()
Load a statically-built SPARK problem
![]()
![]()
Set up the preference settings
![]()
![]()
Re-solve the SPARK problem with different runtime controls