Projects in the topic solvers

SMTGCC

an invention by fkastl

fkastl
Updated about 1 month ago. 2 hacker ♥️. 2 followers.

A quantum physics experiment puzzle (designed with Google's CP-SAT solver)

an invention by moio

link to video player demoing the result

moio
Updated about 1 year ago. 6 hacker ♥️. 1 follower.