GitHub repository: viperproject/axiom-profiler-2
Primary language: Rust
Created: 2025-02-14T00:06:33Z
Description: The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).