src/core/SAT0W/setup_watchlist.js

/**
 * 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;
}