Debugging equality explanations

viperproject / axiom-profiler-2

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).

8 stars 3 forks source link

Closed oskari1 closed 2 months ago

oskari1 commented 3 months ago

This is a first draft, it still contains many debug-statements and is probably not yet correct (not yet tested thoroughly).