CODEWITHSUNDEEP
z3smtsatsat-solvers
code1000
code1000

Reputation: 1

How to use the Z3 Solver to solve a natural deduction problem

I've installed the Z3 Solver from Github using Visual Studio and the commands: python scripts/mk_make.py, cd build, and nmake. I'm a little lost on how to go about solving an equation using this Solver. I have a natural deduction problem with many assumptions and a final implication that needs to be proved.

I see python files in the build\python folder but I have no idea how to run them or build my own file for my problem.

Upvotes: 0

Views: 115

Answers (0)

Related Questions