Add Z3 wrapper as a SAT Solver.

Fixes #23 

Reviewers: @AtulanZaman @joseph2625 @mhyee