Functional Programming

Z3 Theorem Prover with Functio...

by javergar

A Python implementation of abstractions over the Z3 Theorem Prover capabilities using functional pro...