NLCP: Towards a Compiler for Natural Language
Z3: An Efficient SMT Solver