G github.com P4Synth: 1000x faster function synthesis vs. SAT 1 points ashtonsix 10 months ago 2 comments
