multi-stage programming from Scheme to SMT - View it on GitHub