P4Synth: 1000x faster function synthesis vs. SAT

(github.com) by ashtonsix | Dec 17, 2025 | 0 comments on HN