A.T.L.A.S.

Autonomous Terminal for Logic and Algorithmic Synthesis