Ĉu ekzistas komputilaj programoj por fari ĉio kio mi klarigis, sed senpense aŭ senlabore? Nu, mi ne vere scias; mi konas neniun. Ĉiujn ekzemplojn ĉi tie mi faris mi mem, klopodinte.
Oni povas provi funkciigi ion kia seqprover aŭ pandora. Mi malatingis tion, kaj iomete mi trovis malfinitajn projektojn. Supozeble, estas malfacila fari tian programon, ĉar dedukto estu natura (plej taŭga por homaj mensoj). Tamen, komputiloj ebligas apliki brutforton...
Kion vi ja povas provi, kaj bone funkcias, estas ludo simila al domeno kiu utilas por pruvi derivojn per koloraj pecoj. Ĝi bezonas iom da prilernado.