Thorve, V. Unsheathing Input to SAT Solver from Logic Circuit in DIMAC Format. Int. J. Comp. Sci. Eng. 2020, 8, 132-135.