Aditya Kumar

Running into error when running with file containing XOR vales as x .. ..

1

Hi, below described is the error when I am trying to run a large file containing some XOR values bool ArjunNS::Arjun::add_xor_clause(const std::vectorCMSat::Lit&, bool): Assertion `false && "Funnily enough this does...