42 if(s.second.is_constant())
43 out <<
"c " << s.first <<
" " << (s.second.is_true() ?
"TRUE" :
"FALSE")
46 out <<
"c " << s.first <<
" " << s.second.dimacs() <<
"\n";
54 if(literal_map.empty())
57 out <<
"c " << m.first;
59 for(
const auto &lit : literal_map)
63 else if(lit.l.is_constant())
64 out <<
" " << (lit.l.is_true() ?
"TRUE" :
"FALSE");
66 out <<
" " << lit.l.dimacs();