Compiling Rust is NP-hard: the pattern match exhaustiveness checker as a SAT sol (compilercrim.es)
Rust, Programming Languages, Computer Science, NP-Hardness, SAT Solvers
11 points by fanf2 156 days ago | 0 comments