This picture shows how to place 20 points on the vertices of a 10×10 grid in such a way that no three of the points lie on a straight line.
z3 is good for solve similar example
https://dev.to/taw/100-languages-speedrun-episode-23-ruby-z3-19b9
In my opinion setup 500x500 is possible resolve all solution for less than 2 day
z3 is good for solve similar example
https://dev.to/taw/100-languages-speedrun-episode-23-ruby-z3-19b9
In my opinion setup 500x500 is possible resolve all solution for less than 2 day