Propositional Logic algorithms: DPLL and WalkSAT#4

Moska002 wants to merge 11 commits into

paolomorettin:mainpaolomorettin/FAI-code:mainfrom

Moska002:plMoska002/FAI-code:plCopy head branch name to clipboard