I've been having fun recently, making Z3 faster and learning about efficient ways to find equivalent Boolean formulas: https://jamey.thesharps.us/2021/09/05/z3-boolean-matching/
@jamey Thanks for writing up some of the things you learned (and your references). It sounds like a fun exploration. I work with FPGAs as part of how I make a living, and I know some of what you were exploring is behind the tooling that enables generating bitstreams from the HDL descriptions. I've always wanted to dig in to that more, but I haven't so far. If I ever make the time, the new open source FPGA tooling would be an interesting place to start.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!