Show HN: Open-source logic synthesis – formal logic to FPGA (llama.gs)

Happy to answer questions about the architecture, the QBF synthesis approach, or the FPGA implementation. Repos: https://gitlab.llama.gs/logic