I think therefore I am. Satre is a library for proportional and first order logic. It was inspired by the book 'Handbook of practical logic and automated reasoning' by Harrison, J (2009). This project originated at the Technical university munich as a students project in the lecture 'Basics of Artificial Intelligence'.