Skip to main content

conjunction

pumpkin_solver

Function conjunction 

Source 
pub fn conjunction(
    literals: impl Into<Vec<Literal>>,
    constraint_tag: ConstraintTag,
) -> impl NegatableConstraint
Expand description

Creates the NegatableConstraint /\ literal

Its negation is \/ !literal