HF RL Explorer

We need to add SAT-based LUT mapping functionality to the library. The core function satlut mapping should…

We need to add SAT-based LUT mapping functionality to the library. The core function satlut mapping should…: a task in LegoFlow-SWE (Harbor dataset). The function should accept a network, a maximum LUT size (e.g., 32), and optional parameters. A typical call might look like:

The task

The function should accept a network, a maximum LUT size (e.g., 32), and optional parameters. A typical call might look like:

Part of Lego-X/LegoFlow-SWE.