View Single Post
Old 2020-02-06, 00:41   #4
gd_barnes's Avatar
May 2007
Kansas; USA

2·52·7·29 Posts

There is a program out there called covering.exe or bigcovering.exe and there was a thread here at CRUS that talked about it. I don't have time to try to find them but with a diligent effort they can be found. You cannot brute force huge conjectures. The covering programs use covering set logic to only search k's that could possibly be the conjectures.

If anyone can post a link to the covering or bigcovering programs that would be helpful.

Last fiddled with by gd_barnes on 2020-02-06 at 00:43
gd_barnes is offline   Reply With Quote