Turns the twoless problem (some Uni exercise one of my friends had to do) into SAT form
Primary LanguageRust