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 ampdepolymerase on Monday February 03, 2020 @12:17AM (#22221606)
The secret solution is called Z3.
[ Parent | on HN ]
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 ]