Synthesis of simple virus-like programs via relational interpreter. - View it on GitHub