[wip] Modular SMT solver in rust - View it on GitHub