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)}')