naive-3-sat

naive solver for the 3-sat problem

Browse on unpkg