SAT_BINARY_FROM_SIZE定数

From which side the SAT solver writes a cell's pair as a binary number rather than a variable for each pair, which a board of dozens of pairs needs: every level to 15×15 was proved the first way and keeps its counts. Any board with portals is counted by SAT, and written the second way, whatever its side.

import { SAT_BINARY_FROM_SIZE } from "@johnmorrisdotca/tsunagi";

const SAT_BINARY_FROM_SIZE: 16 = 16

import { SAT_BINARY_FROM_SIZE } from "@johnmorrisdotca/tsunagi";
console.log(SAT_BINARY_FROM_SIZE);

16