I have released a framework which has a C-SMT module. https://github.com/ZanjeerPlatform/bargad