Encodings

Tseytin encoding

Header: bill/sat/tseytin.hpp

Functions
add_tseytin_and
add_tseytin_or
add_tseytin_xor
add_tseytin_equals

XOR clauses

Header: bill/sat/xor_clauses.hpp

Functions
add_xor_clause