Projects in the topic solvers


SMTGCC

a project by fkastl

Project Description

There's a project experimenting with verifying GCC optimizations using SMT solvers. Currently there is only one person working on this project. Analyzing compilers with SMT solvers seems like a cool new topic to me. Let's see how we could help.

Updated 5 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

A quantum physics effect to teach, a puzzle to build, a problem to solve, a tool to learn!

Updated 5 months ago. 6 hacker ♥️. 1 follower.