Skip to content

Latest commit

 

History

History
3 lines (3 loc) · 196 Bytes

README.md

File metadata and controls

3 lines (3 loc) · 196 Bytes
Raw

SAT-CNF

Given a relationship matrix among guests, output the seating arrangement. The program converts the relationship matrix into CNF clauses and finds a solution (SAT) using DPLL algorithm.