The invention provides an SAT automatic integrated solver based on FPGA, which effectively judges that whether CNF can be met. Firstly, the CNF is automatically translated to the verilog language by a C++ translator, i.e. the conjunctive normal form is converted to the gate level circuit form; the gate level circuit is simulated via Questasim software, whether the simulation is the same with a theoretical logic is checked, then the circuit is optimized and synthesized via Precision software, at last QuartusII software integrated into the Precision software is called to perform pin configuration, thus the integrated file is finally downloaded onto the FPGA circuit board to be cured into the hardware logic for verification; and the cured FPGA chip is embedded into the embedded chip, the automation of the whole process for generating a file calling command is achieved through combined programming of the Tcl scripting language and high-level language C++, and thereby whether the CNF can be met is rapidly judged. The hardware compiling configuration time is added, and thereby the time of the whole process can be more accurately computed compared with other hardware SAT solvers.