Python code for the course Logic for Computer Science at Instituto Federal de Educação, Ciência e Tecnologia do Ceará (IFCE) - Campus Maracanaú. You can use this with the course or for study on your own.
In this project, you will code Python implementations for pseudocode algorithms in the course, as well as logic models for problems such as sudoku, course timetabling, nurse scheduling, rule learning, nonogram, minesweeper.