Projects in the topic solvers

SMTGCC

an invention by fkastl

fkastl
Updated 3 months 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 over 1 year ago. 6 hacker ♥️. 1 follower.