solve_ndisj.v 805 Bytes