if you wanted general, like, boolean satisfiabilit...

# announcements

[Shawn]

if you wanted general, like, boolean satisfiability for exhaustivity in when statements, just figure out how to solve SAT in polynomial time and make a PR against the Kotlin repo 😜