Max2SAT solver for lamp grids, developed as part of the Algorithms 2 course (INFO-F203 2024). The project models the lamp grid problem as a Max2SAT instance to find the optimal configuration that satisfies the maximum number of constraints.
An solution for the 2sat problem by reducing it to SCC problem
Descrição, modelagem e implementação do problema "Plano de campanha"
Add a description, image, and links to the 2sat-problem topic page so that developers can more easily learn about it.
To associate your repository with the 2sat-problem topic, visit your repo's landing page and select "manage topics."