jonathangaldino/bruteforce-sat
A brute force algorithm written in nodejs that solves the boolean satisfiability problem (also known as SAT)
JavaScript
A brute force algorithm written in nodejs that solves the boolean satisfiability problem (also known as SAT)
JavaScript