Gateway07/Evolver

Counterexample Discovery & Theory Modeling by using OpenEvolve