Formulations (Abstract Knowledge Layer)

• AMIDOL VDSOL Palettes

Models (Structured Knowledge Layer)

• AMIDOL IR

Implementations (Executable Knowledge Layer)

• Solvers