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

2·52·7·29 Posts
Default

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