parse_json() * * Parse a JSON object. */

Permute the inputs of a single-output k-LUT according to varmap

Then call `process` for each thread. All `process()`s must finish before using the `Builder` to construct a `ShardedHashtable`.

Read tokens to get one argument (either a macro argument at a callsite or a default argument in a macro definition). Writes the argument to dest. Retu

variant for decompress_unsafe() * does not know end of input * presumes input is well formed * note : will consume at least one byte */

checks if selection covers full design (may or may not include boxed-modules)

Set up the SAT problem for an IdBit the value side of 'anchors' will be populated with the SAT variable for anchor bits

FIXME: after the introduction of asynchronous interrruptions the solve-versions that return a pure bool do not give a safe interface. Either interrupt

The `top_path` must match the one given to the recorder.

Mapping Literals to and from compact integers suitable for array indexing: