Comes with a .cabal file that says to use z3, but you gotta install it
first. This is *kind of* involved and so we should just do that
together.