proposit-core
    Preparing search index...

    Type Alias TSatisfyingAssignmentResult

    TSatisfyingAssignmentResult:
        | { assignment: Record<string, boolean>; satisfiable: true }
        | { satisfiable: false }
        | { satisfiable: null }

    The answer of findSatisfyingAssignment: satisfiable with one witness, unsatisfiable, or not determined.

    Settings

    Member Visibility