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