updating Docker containers. Synthesis now working on tiny set. starting large scale runs.#5

atharvas merged 1 commit intomainformula-code/datasmith:mainfrom

synthesis-debugformula-code/datasmith:synthesis-debugCopy head branch name to clipboard