GitHub - mkg33/SAT-encoding: Project 1 for the 'SAT solving' course at the LMU.

SAT encoding project for the 'SAT solving' course at the LMU. Joint work with another student - details in the last GUI tab of 'Tents'.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
.gitattributes		.gitattributes
README.md		README.md
attribution.md		attribution.md
back.png		back.png
camping.jpg		camping.jpg
images.qrc		images.qrc
main.cpp		main.cpp
main2.cc		main2.cc
mainwindow.cpp		mainwindow.cpp
mainwindow.h		mainwindow.h
mainwindow.ui		mainwindow.ui
night.jpg		night.jpg
tent.png		tent.png
tents.cc		tents.cc
tents.h		tents.h
tents.pro		tents.pro
tree.png		tree.png

Provide feedback