Ich habe ein Projekt zu machen,das enorm wichtig ist, aber ich verstehe nicht so gut das SAT Solver, ich habe einige Videos geguckt und komme auch noch nicht weiter leider :(( kann vielleicht jemand mir helfen? Pure Literalen, DPLL Algorithmus usw sind mir wirklich unklar und was bedeutet genau 2-sat, 3-sat