Somebody is trying to count the number of magic squares of shape 6x6:
17 753 889 197 660 635 632 updated on 2024.02.17 and still to be confirmed.
17 753 889 189 701 385 264 updated on 2023.09.07.
17 753 889 189 701 384 304 reported on 2023.07.18.
https://magicsquare6.net/doku.php?id=magicsquare6
The problem is defined here:
Number of magic squares of order n composed
not counting rotations and reflections
A006052 - OEIS
Can we use BDD, FDD or ZDD #SAT counting to solve it?