add inv and oinv tactics that are basically a smarter and fixed inversion_clear
All threads resolved!
All threads resolved!
Fixes #40 (closed)
Sadly I couldn't figure out how to make inv 1
work. See Zulip
Merge request reports
Activity
- Resolved by Ralf Jung
- Resolved by Ralf Jung
- Resolved by Ralf Jung
- Resolved by Ralf Jung
- Resolved by Ralf Jung
added 10 commits
-
e2062129...c4ea1778 - 7 commits from branch
master
- df339448 - add inv and oinv tactics that are basically a smarter and fixed inversion_clear
- 9cd88db3 - use the new tactics in a few spots
- 9a6c8a2b - changelog
Toggle commit list-
e2062129...c4ea1778 - 7 commits from branch
enabled an automatic merge when the pipeline for 9a6c8a2b succeeds
mentioned in commit f25cad12
mentioned in issue #40 (closed)
Please register or sign in to reply