News for hackers. Stuff that matters.

A comment on A scalable photonic computer solving the subset sum problem. Parent comment

Re:A scalable photonic computer solving the subset sum problem by ganzuul on Monday February 03, 2020 @07:25AM (#22223537)
This? https://github.com/z3prover/z3

What is secret about it?

[ Parent | on HN ]

There are no comments on this comment yet.