Inverter mosfet number. Grüttpark Lörrach.

CDCL SAT. Luo Chen Wiki.