if you wanted general, like, boolean satisfiabilit...
# announcements
s
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 ­čśť
­čĹŹ 1