Question about CNF formatting for constraints

9 views

Skip to first unread message

unread,

Nov 30, 2017, 9:26:42 AM11/30/17

to ubc...@googlegroups.com, ubcsa...@cs.ubc.ca

Is it possible to include XOR constraints in a CNF file? If so, how do you format that?

Reply all

Reply to author

Forward

0 new messages