zane31415 / Atlas Star 0 Code Issues Pull requests Exact minimal integer-weight threshold circuits for every 4-input Boolean function (65,536 tables, 222 NPN classes): free-weight optima, capped Pareto frontiers, constructive forms, price of decomposability - all machine-verified. boolean-functions circuit-complexity exact-synthesis threshold-logic Updated Jul 3, 2026 Python