computational-problem-solving/sat

/**
 * Setup_watchlist.
 *
 * @param {number} n
 * @param {number[][]} clauses
 * @return {number[][][]} The literal watch list.
 */
export default function setup_watchlist(n, clauses) {
    const watchlist = [];

    for (let i = 0; i < 2 * n; ++i) watchlist.push([]);

    for (const clause of clauses) {
        // # Make the clause watch its first literal
        watchlist[clause[0]].push(clause);
    }

    return watchlist;
}