Skip to content

add inv and oinv tactics that are basically a smarter and fixed inversion_clear

Ralf Jung requested to merge ralf/inv into master

Fixes #40 (closed)

Sadly I couldn't figure out how to make inv 1 work. See Zulip

Merge request reports