Create list of tactics provided by std++
E.g. set_solver
, naive_solver
, simplify_option_eq
, etc.
As suggested by @msammler in !78 (comment 38387)
E.g. set_solver
, naive_solver
, simplify_option_eq
, etc.
As suggested by @msammler in !78 (comment 38387)