feat all: remove redundant data and rename the tool to Simplifier#17

spefk merged 2 commits intomainSPbSAT/simplifier:mainfrom

spefk-rename-to-simplifierSPbSAT/simplifier:spefk-rename-to-simplifierCopy head branch name to clipboard