f = open('Data_Observations/'+name_file+'_iscas85.obs', "r")
system = f.read()
observations = system.split('.')
observations.remove('')
observations_list = []
for o in observations:
o = o.replace('(', '')
o = o.replace(')', '')
observations_list.append(Observation(o))
for object_observation in observations_list:
c1.add_observation(object_observation)
# print('inputs:')
# for i in object_observation.inputs:
# print(i.value,end='')
# print()
# print('outputs:')
# for o in object_observation.outputs:
# print(o.value,end=',')
# print()
solver = MinimalSubset()
for gate in c1.gates:
# print("before ob")
# print(gate.cnf)
for node in object_observation.inputs:
# print("node:",node.name , node.value)
gate.cnf = gate.cnf.subs(node.symbol,node.value)
