Description: This is an mpi parallel computing programs written for circuit checking. The contents of the circuit as a circuit input array v [1] v [2] .. v [16] need to comply with the rule .The rule can be seen within the subroutine check_circuit ()
To Search:
File list (Check if you may need any files):
sat1.c
Download