We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
{bguess | :bguess} {imply|and|or} [ with <predicate name> ]
Try to find true/false assignments which satisfies the Bool term specified by 'binspect' or ':binspect'.