Yet another variant of lbool implementation
Yet another variant of lbool implementation

  This relies rather heavily on the fact that the important cases are
  a combination of calls to the ^ and == operations, where one
  parameter is a constant lbool. With constant propagating code
  optimization this should generates rather good code.

mabdula/minisat,niklasso/minisat,robertsami/minisat,niklasso/minisat,jamesbornholt/minisat,mabdula/minisat,jamesbornholt/minisat,meteor/minisat,meteor/minisat,robertsami/minisat,meteor/minisat,mabdula/minisat,meteor/minisat