Popular repositories Loading
-
-
-
cpufpga3satsolver
cpufpga3satsolver PublicThis 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.
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.