Reduces the Wang tiles (aka Wang dominoes) problem to SAT and solves it with minisat
Primary LanguageC++MIT LicenseMIT