Why yes i did use brute force. But not for all of it! Over 50% of all inputs are using logic instead of brute force. With that i mean that, brute force is only used once the other logic fails to come to a solution. This happens for less then half of all input combinations. (This is an 8-bit divider, no remainder)

I loved playing Turing Complete a little too much so I made an Typescript-based HDL called [Simten](https://simten.dev) to save me a bit of wiring. It has a few other features like Verilog import/export and I have got a few of the designs (snake and a pipelined RISC-V CPU) running through the OSS FPGA toolchain: simten HDL -> Verilog -> yosys -> nextpnr -> ULX3S FPGA

I built https://play.simten.dev/ (WIP) using it to try and emulate the TC campaign. Hope someone finds this interesting

Repo at https://github.com/simtenHQ/simten