Symbolic image research infrastructure

Symbolic image research infrastructure