Hi kevinvinv,
there is one feature which excludes a program as being useable for the solver (beside obvious reasons: An emultator
for "Mario Bros. something" implemented in FOCAL is not THAT adaquate for the solver...

:
A program without a MVAR section in the beginning would not be "seen" by the solver, so you cannot use it.
But a regular program, with a fully implemented MVAR...VARM... sequence though will be "seen" by the solver
but it will halt at each iteration circle.
To fix that, you can write two programs:
One program "a" which is useable with the solver (that is includes only the MVAR commands) and another one "b", which
does a VARM "a" and therefore calls "a". The solver would only see "a" as that program contains the MVAR calls.
This way you can a "Master Control Program" (=> TRON

which only contains the VARM calls and a couple of "math drivers"

which does
the real work and are all useable by the solver program.
Cheers!
Meino
DM 42 - SN: 00373, Firmware release v.:3.16. / DMCP 3.20. as compiled by SwissMicros