github.com/ash-project/simple_sat
A simple, dependency free boolean satisfiability solver.
https://github.com/ash-project/simple_sat
hex: simple_sat 0.1.3
A simple, dependency free boolean satisfiability solver.4 versions - Latest release: about 2 years ago - 2 dependent packages - 68 thousand downloads total