/bruteforce-sat

A brute force algorithm written in nodejs that solves the boolean satisfiability problem (also known as SAT)

Primary LanguageJavaScript

Stargazers