viperproject / axiom-profiler-2 Goto Github PK
View Code? Open in Web Editor NEWThe axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
Home Page: https://viperproject.github.io/axiom-profiler-2/