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 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 ]

There are no comments on this comment yet.