You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
c start with comments
|
|
c
|
|
c
|
|
p cnf 5 3
|
|
1 -5 4 0
|
|
-1 5 3 4 0
|
|
-3 -4 0
|
|
|
|
def evalue_clause(C,X):
|
|
L = []
|
|
for element in X:
|
|
for clause in C:
|
|
if clause > 0:
|
|
L.append(element)
|
|
if clause < 0:
|
|
L.append(1)
|
|
else:
|
|
L.append(0)
|
|
for nb in L:
|
|
if nb == 1:
|
|
return 1
|
|
return 0 |
