Python 3.6.3 (v3.6.3:2c5fed8, Oct 3 2017, 17:26:49) [MSC v.1900 32 bit (Intel)] on win32 Type "copyright", "credits" or "license()" for more information. >>> *************************************************************** * * * sudoku.py - search of all M2 machines compatible with M1 * * for the machine coupling problem of 2022-02-11 * * * *************************************************************** ************ * * * case "3" * * * ************ Solution #1: Don't care vector = 00001111100 Machine truth table = ['01', 'xx', '00', '10', '00', '11', '10', '11'] Solution #2: Don't care vector = 00011111010 Machine truth table = ['11', 'xx', '00', '01', '00', '10', '10', '11'] Solution #3: Don't care vector = 00011111100 Machine truth table = ['11', 'xx', '00', '10', '00', 'xx', '10', '11'] Solution #4: Don't care vector = 00101111100 Machine truth table = ['xx', '01', '00', '10', '01', '11', '10', '11'] Solution #5: Don't care vector = 00111111010 Machine truth table = ['xx', '11', '00', '01', '01', '10', '10', '11'] Solution #6: Don't care vector = 00111111100 Machine truth table = ['xx', '11', '00', '10', '01', 'xx', '10', '11'] Solution #7: Don't care vector = 01000111100 Machine truth table = ['00', 'xx', '01', '10', '11', '00', '10', '11'] Solution #8: Don't care vector = 01011111000 Machine truth table = ['11', 'xx', '01', '00', '10', '00', '10', '11'] Solution #9: Don't care vector = 01011111100 Machine truth table = ['11', 'xx', '01', '10', 'xx', '00', '10', '11'] Solution #10: Don't care vector = 01100111100 Machine truth table = ['xx', '00', '01', '10', '11', '01', '10', '11'] Solution #11: Don't care vector = 01111111000 Machine truth table = ['xx', '11', '01', '00', '10', '01', '10', '11'] Solution #12: Don't care vector = 01111111100 Machine truth table = ['xx', '11', '01', '10', 'xx', '01', '10', '11'] **************************************** Number of distinct solutions found = 12 **************************************** ************ * * * case "1" * * * ************ Solution #1: Don't care vector = 10011001011 Machine truth table = ['11', '01', '10', 'xx', '01', '11', '00', '10'] Solution #2: Don't care vector = 10111010001 Machine truth table = ['00', '11', '10', 'xx', '11', '00', '01', '10'] Solution #3: Don't care vector = 11001101100 Machine truth table = ['01', '10', '11', 'xx', '01', '11', '10', '00'] Solution #4: Don't care vector = 11100110100 Machine truth table = ['10', '00', '11', 'xx', '11', '00', '10', '01'] **************************************** Number of distinct solutions found = 4 **************************************** >>>