Closed vlad902 closed 1 week ago
In this change I add the ability to search using injectivity<=>surjectivity as well as a periodicity heuristic.
I re-generated the proofs to match the current codegen style, but this change has no functional changes to the proven state of the finite graph.
In this change I add the ability to search using injectivity<=>surjectivity as well as a periodicity heuristic.
I re-generated the proofs to match the current codegen style, but this change has no functional changes to the proven state of the finite graph.