Simple DSL to solve SMT problems using Z3 API in F# - View it on GitHub