Another better lower bound for n=17 square packing

• Posted 4 hours ago by gus_massa
• 24 points