Skip to content

Remove tactic `iSolveTC` in favor of `tc_solve` in std++.

Robbert Krebbers requested to merge robbert/solve_tc into master

Merge request reports