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 6 months ago. 2 hacker ♥️. 2 followers.
A quantum physics experiment puzzle (designed with Google's CP-SAT solver) an invention by moio A quantum physics effect to teach, a puzzle to build, a problem to solve, a tool to learn! Updated 6 months ago. 6 hacker ♥️. 1 follower.

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 6 months ago. 2 hacker ♥️. 2 followers.

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

an invention by moio

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

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