News for hackers. Stuff that matters.

A comment on om. Parent comment

Re:om by fuzztester on Thursday February 26, 2026 @10:06AM (#47167089)
How does it do the proving?
[ Parent | on HN ]
Re:om by fcatalan on Thursday February 26, 2026 @10:14AM (#47167173)
Spawns and calls z3 under the hood, I did let it cheat there because otherwise it's rabbit holes below rabbit holes all the way down :)
[ Parent | on HN ]
Re:om by fuzztester on Friday February 27, 2026 @03:25AM (#47178034)
thanks.
[ Parent | on HN ]