gcoimbra/cpufpga3satsolver
This is an implementation of a CPU-FPGA heterogeneous computing 3-SAT solver for the Intel HARP Research program. It uses the extreme paralelism of FPGAs to fastly bruteforce a small 3-SAT formula.
C++
This is an implementation of a CPU-FPGA heterogeneous computing 3-SAT solver for the Intel HARP Research program. It uses the extreme paralelism of FPGAs to fastly bruteforce a small 3-SAT formula.
C++