Are there many logic circuit solvers available to test / download?
Yes. By "solve" it appears to mean generate gates. All FPGA and ASIC synthesis tools do that. As The Photon said, this includes free tools from FPGA vendors.