Partial firstorder replacement - #174

Draft

TeodorescuIoan wants to merge 7 commits into

firstorder-sauto-replacement

Commits on Feb 15, 2023

Partial firstorder replacement
TeodorescuIoan
committed
3e6aa70
Remove duplicate imports
TeodorescuIoan
committed
dd1a2fb
Add hammer dependency
TeodorescuIoan
committed
9175c29

Commits on Feb 16, 2023

Add comments where sauto tactic might fail
TeodorescuIoan
committed
e05f96d

Commits on Feb 17, 2023

Add comments for sauto calls taking more than 1 second
TeodorescuIoan
committed
e7b54b3

Commits on Feb 24, 2023

Optimize sauto calls
TeodorescuIoan
committed
99c1c5c
Complete optimization
TeodorescuIoan
committed
655ce30