SAT SOLVER PYTHON(I NEED IT AS SOON AS POSSIBLE PLEASE)

Also, I will be testing it using DIMACS format file so if you could show me how can i do it please or make it possible to do so

part.i) Write a Python function simple_sat_solve in a single argument clause_set that solves the satisfiability of the clause set by running through all truth assignments. In case the clause set is satisfiable it should output a satisfying assignment.

part.ii) Write a recursive Python function branching_sat_solve in the two arguments clause_set and partial_assignment that solves the satisfiability of the clause set by branching on the two truth assignments for a given variable. In case the clause set is satisfiable under the partial assignment it should output a satisfying assignment. When this is run with an empty partial assignment it should act as a SAT-solver.