Hello there. I completed my B.S. degree in Math+CS at RPI and M.S. degree in Applied Math also at RPI. I like pure math and algorithms.
tkoz0 / logic-puzzles-to-sat Goto Github PK
View Code? Open in Web Editor NEWconversion of logic puzzles to boolean satisfiability