def test_algorithm_00015():
buff = read_buffer(f'{VALID_ALGORITHM_TEST}00015.txt')
parsed_data = validation(buff)
expected_result = {'C': 'True'}
facts = start_solution(parsed_data)
assert expected_result == {
fact: facts.get(fact)
for fact in parsed_data['unknown_vars']
}
def test_algorithm_00014():
buff = read_buffer(f'{VALID_ALGORITHM_TEST}00014.txt')
parsed_data = validation(buff)
expected_result = {
'C': 'True',
'D': 'True',
'G': 'False',
'H': 'False',
'K': 'True',
'L': 'False',
'O': 'False',
'P': 'True',
'S': 'False',
'T': 'False',
'X': 'False',
'Y': 'False',
'Z': 'False'
}
facts = start_solution(parsed_data)
assert expected_result == {
fact: facts.get(fact)
for fact in parsed_data['unknown_vars']
}
import sys
from src.new_validation import validation
from src.new_solution import start_solution
from src.read_file import read_buffer
if __name__ == '__main__':
if (len(sys.argv) != 2):
raise Exception("usage: python3 main.py file_name")
read_buffer = read_buffer(sys.argv[1])
validated = validation(read_buffer)
facts = start_solution(validated)
for fact in validated['unknown_vars']:
print(f'{fact} : {facts.get(fact)}')
