Add note to method implies from class Solver
Add field single_value_constraint to clause header and shorten field mark
Add support for allocation of single value constraints
Add constants for literal signs
Remove method implies from class Solver