A simple boolean satisfiability solver that uses DPLL
Why do you think that https://github.com/rabbitstack/fibratus is a good alternative to satsolver
A simple boolean satisfiability solver that uses DPLL
Why do you think that https://github.com/rabbitstack/fibratus is a good alternative to satsolver