GitHub - arnsangra/LI-satSolver: SAT SOLVER for Logics in the Informatics subject of FIB's Bachelor Degree in Informatics

Practice 1: SAT SOLVER Implement enhancements for the given sat-solver Arnau Sangrà Rocamora

Barcelona School of Informatics Universitat Politècnica de Catalunya

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
latexReport/report		latexReport/report
solver		solver
.gitignore		.gitignore
README.md		README.md

Navigation Menu