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