Added Z3 solver API calls and can now find the solution without going to a system call