SMTGCCa project by fkastl Project DescriptionThere'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. |
A quantum physics experiment puzzle (designed with Google's CP-SAT solver)an invention by moio Updated 6 months ago. 6 hacker ♥️. 1 follower. |