News for hackers. Stuff that matters.

A comment on Solving SAT via Positive Supercompilation. Parent comment

Re:Solving SAT via Positive Supercompilation by rurban on Monday February 05, 2024 @02:17AM (#39258252)
I thought the SPARC part of Ada did that
[ Parent | on HN ]

There are no comments on this comment yet.