Question
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
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.
Note: its just a sat solver please read the instructions and the question carefully because I need it as soon as possible.
This is my third time posting this question and it has not been solved correctly yet so please follow the following instructions:
1. it should be able to take the cnf formula from a file in DIMACS format which I have a code for and it looks like this
p cnf 6 5
1 -2 -5 0
-1 6 0
-2 -3 0
3 -4 0
-4 5 -6 0
2. the code should be in python using the bolded functions
3. the output should be the satisfiable formula in the form of integers as shown in the DIMACS format file.
Step by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started