gadget_libaray.json

[{"name": "and2", "p": 2, "B": [["0", "1"], ["1", "0"], ["1", "1"]], "F": [["1"], ["1"], ["0"]], "truth_table": [false, false, false, true], "strict_yes": true, "strict_no": true, "fixed_r": true, "n_aux_vars": 0}, {"name": "or2", "p": 2, "B": [["0", "1"], ["1", "0"], ["1", "1"]], "F": [["1"], ["1"], ["1"]], "truth_table": [false, true, true, true], "strict_yes": true, "strict_no": true, "fixed_r": true, "n_aux_vars": 0}, {"name": "and3", "p": 2, "B": [["0", "0", "1"], ["0", "1", "0"], ["1", "0", "0"], ["0", "1", "1"], ["1", "0", "1"], ["1", "1", "0"], ["1", "1", "1"]], "F": [["1"], ["1"], ["1"], ["0"], ["0"], ["0"], ["1"]], "truth_table": [false, false, false, false, false, false, false, true], "strict_yes": true, "strict_no": true, "fixed_r": true, "n_aux_vars": 0}, {"name": "or3", "p": 2, "B": [["0", "0", "1"], ["0", "1", "0"], ["1", "0", "0"], ["0", "1", "1"], ["1", "0", "1"], ["1", "1", "0"], ["1", "1", "1"]], "F": [["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"]], "truth_table": [false, true, true, true, true, true, true, true], "strict_yes": true, "strict_no": true, "fixed_r": true, "n_aux_vars": 0}, {"name": "and4", "p": 2, "B": [["0", "0", "0", "1"], ["0", "0", "1", "0"], ["0", "1", "0", "0"], ["1", "0", "0", "0"], ["0", "0", "1", "1"], ["0", "1", "0", "1"], ["0", "1", "1", "0"], ["1", "0", "0", "1"], ["1", "0", "1", "0"], ["1", "1", "0", "0"], ["0", "1", "1", "1"], ["1", "0", "1", "1"], ["1", "1", "0", "1"], ["1", "1", "1", "0"], ["1", "1", "1", "1"]], "F": [["1"], ["1"], ["1"], ["1"], ["0"], ["0"], ["0"], ["0"], ["0"], ["0"], ["1"], ["1"], ["1"], ["1"], ["0"]], "truth_table": [false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true], "strict_yes": true, "strict_no": true, "fixed_r": true, "n_aux_vars": 0}, {"name": "or4", "p": 2, "B": [["0", "0", "0", "1"], ["0", "0", "1", "0"], ["0", "1", "0", "0"], ["1", "0", "0", "0"], ["0", "0", "1", "1"], ["0", "1", "0", "1"], ["0", "1", "1", "0"], ["1", "0", "0", "1"], ["1", "0", "1", "0"], ["1", "1", "0", "0"], ["0", "1", "1", "1"], ["1", "0", "1", "1"], ["1", "1", "0", "1"], ["1", "1", "1", "0"], ["1", "1", "1", "1"]], "F": [["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"]], "truth_table": [false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true], "strict_yes": true, "strict_no": true, "fixed_r": true, "n_aux_vars": 0}, {"name": "and5", "p": 2, "B": [["0", "0", "0", "0", "1"], ["0", "0", "0", "1", "0"], ["0", "0", "1", "0", "0"], ["0", "1", "0", "0", "0"], ["1", "0", "0", "0", "0"], ["0", "0", "0", "1", "1"], ["0", "0", "1", "0", "1"], ["0", "0", "1", "1", "0"], ["0", "1", "0", "0", "1"], ["0", "1", "0", "1", "0"], ["0", "1", "1", "0", "0"], ["1", "0", "0", "0", "1"], ["1", "0", "0", "1", "0"], ["1", "0", "1", "0", "0"], ["1", "1", "0", "0", "0"], ["0", "0", "1", "1", "1"], ["0", "1", "0", "1", "1"], ["0", "1", "1", "0", "1"], ["0", "1", "1", "1", "0"], ["1", "0", "0", "1", "1"], ["1", "0", "1", "0", "1"], ["1", "0", "1", "1", "0"], ["1", "1", "0", "0", "1"], ["1", "1", "0", "1", "0"], ["1", "1", "1", "0", "0"], ["0", "1", "1", "1", "1"], ["1", "0", "1", "1", "1"], ["1", "1", "0", "1", "1"], ["1", "1", "1", "0", "1"], ["1", "1", "1", "1", "0"], ["1", "1", "1", "1", "1"]], "F": [["1"], ["1"], ["1"], ["1"], ["1"], ["0"], ["0"], ["0"], ["0"], ["0"], ["0"], ["0"], ["0"], ["0"], ["0"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["0"], ["0"], ["0"], ["0"], ["0"], ["1"]], "truth_table": [false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true], "strict_yes": true, "strict_no": true, "fixed_r": true, "n_aux_vars": 0}, {"name": "or5", "p": 2, "B": [["0", "0", "0", "0", "1"], ["0", "0", "0", "1", "0"], ["0", "0", "1", "0", "0"], ["0", "1", "0", "0", "0"], ["1", "0", "0", "0", "0"], ["0", "0", "0", "1", "1"], ["0", "0", "1", "0", "1"], ["0", "0", "1", "1", "0"], ["0", "1", "0", "0", "1"], ["0", "1", "0", "1", "0"], ["0", "1", "1", "0", "0"], ["1", "0", "0", "0", "1"], ["1", "0", "0", "1", "0"], ["1", "0", "1", "0", "0"], ["1", "1", "0", "0", "0"], ["0", "0", "1", "1", "1"], ["0", "1", "0", "1", "1"], ["0", "1", "1", "0", "1"], ["0", "1", "1", "1", "0"], ["1", "0", "0", "1", "1"], ["1", "0", "1", "0", "1"], ["1", "0", "1", "1", "0"], ["1", "1", "0", "0", "1"], ["1", "1", "0", "1", "0"], ["1", "1", "1", "0", "0"], ["0", "1", "1", "1", "1"], ["1", "0", "1", "1", "1"], ["1", "1", "0", "1", "1"], ["1", "1", "1", "0", "1"], ["1", "1", "1", "1", "0"], ["1", "1", "1", "1", "1"]], "F": [["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"], ["1"]], "truth_table": [false, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true], "strict_yes": true, "strict_no": true, "fixed_r": true, "n_aux_vars": 0}]