## Task Need to research, if some SAT solvers allow useful settings and use them to increase performance of subcircuit simplication. ## Current state Obliviously using SAT solver through PySAT. ## Problems ---
Task
Need to research, if some SAT solvers allow useful settings and use them to increase performance of subcircuit simplication.
Current state
Obliviously using SAT solver through PySAT.
Problems