Satpy is a project mainly written in ..., it's free.
SAT solver in Python
This project is simple demonstration of DPLL algorithm for Boolean Satisfiability Problem written in Python.
BitVector
This project is part of A4M33AU: Automatic Reasoning course at Faculty of Electrical Engineering of Czech Technical University.