Don't leave us hanging, how well does wasm z3 and minizinc work? How many times ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		sitkack on June 3, 2024 \| parent \| context \| favorite \| on: Cirkoban: Sokoban meets cellular automata written ... Don't leave us hanging, how well does wasm z3 and minizinc work? How many times slower are they?

mcguire on June 5, 2024 [–]

I actually don't know; I just saw that they were available, I didn't try them.

I assume it would be horrible, though. :-)

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact