solve_ndisj.v 648 Bytes