(satisfiable?) ( seq -- ? )

Vocabulary

boolean-expr

Inputs

seq

an object

Outputs

?

an object

Definition

USING: accessors kernel sequences sets ;

IN: boolean-expr

: (satisfiable?) ( seq -- ? )
    [ ¬? ] partition swap [ x>> ] map intersect empty? ;