Search code examples
z3

Where can the z3 axiom profiler be found?

There are many references made to a tool for debugging Z3 traces called the "Z3 Axiom Profiler". I have found code which is part of the VCC project, that appears to be the axiom profiler and is three years old. Is building from these VCC sources the correct way to obtain the profiler, or is there a more recent version somewhere?

Solution

  • This is the latest version. You can find an executable in the binary VCC distribution.