SynDEx is based on the AAA methodology (cf. chapter 12).
A SynDEx application is made of:
Performing an adequation means to execute heuristics,
seeking for an optimized implementation
of a given algorithm onto a given architecture.
An implementation consists in:
SynDEx runs under Linux, Windows, and Mac OS X platforms. SynDEx is written in Objective Caml. The Graphical User Interface is written in Tcl/Tk with the OCaml library CamlTk. See chapter 12 for web links.