News for hackers. Stuff that matters.

A comment on A predicted quasicrystal is based on the 'Einstein' tile known as the hat. Parent comment

Re:A predicted quasicrystal is based on the 'Einstein' tile ... by QuadmasterXLII on Wednesday January 31, 2024 @08:41PM (#39211919)
Jim's blog post about his discovery is also delightful to read: https://hedraweb.wordpress.com/2023/03/23/its-a-shape-jim-bu...

His offhand mention of "Craig's SAT Solver" opened a rabbit hole for me. I put together a blog post on how to draw the tiling without knowing the recursive structure by just feeding the shape into z3: https://www.hgreer.com/HatTile/

[ Parent | on HN ]
Re:A predicted quasicrystal is based on the 'Einstein' tile ... by NooneAtAll3 on Wednesday January 31, 2024 @11:41PM (#39212779)
> using a SAT solver (in this case, Z3)

isn't z3 SMT solver, not SAT?

[ Parent | on HN ]
Re:A predicted quasicrystal is based on the 'Einstein' tile ... by nhatcher on Thursday February 01, 2024 @12:47AM (#39213063)
Z3 has both, but the tool they are using is the SAT solver.
[ Parent | on HN ]
Re:A predicted quasicrystal is based on the 'Einstein' tile ... by nhatcher on Thursday February 01, 2024 @10:25AM (#39216926)
Hi @QuadmasterXLII, you linked my blog in yours! Thanks, I feel honored! I found your blog halfway going through my own rabbit whole. I think had I seen it before embarking into the project I would have just use yours. That being said it is been a fun ride. It's interesting that we both got triggered by "Craig's SAT solver". Thanks again,

Nicolás

[ Parent | on HN ]