This program calculates the DPLL Algorithm for you. It is basically a SAT Solver for CNF's. There are three main reasons why I made this program. firstly I wanted to better learn python, secondly I would learn the DPLL algorithm better and thirdly and most importantly I can use it in the exam to gain some time. But I would never do something like this of course! So have fun!
This program calculates the DPLL Algorithm for you. It is basically a SAT Solver for CNF's.
There are three main reasons why I made this program. First and second reason are that I wanted to better my skills with python and the DPLL algorithm in general. And third and most important reason is that I can use it in my discrete structures exam to gain some time advantage. But I would never do something like this of course! Have fun with this small project!
Time: ~2-3h
This program calculates the DPLL Algorithm for you. It is basically a SAT Solver for CNF's. There are three main reasons why I made this program. firstly I wanted to better learn python, secondly I would learn the DPLL algorithm better and thirdly and most importantly I can use it in the exam to gain some time. But I would never do something like this of course! So have fun!