RV's repositories
Parallel-Programming
ECE 563 Course at PURDUE.
Language:C000
Language:C++000
SAT-solver
The SAT solver checks if the given CNF formula evaluates to true for some arbitrary input combinations.
Language:C++000
ECE 563 Course at PURDUE.
The SAT solver checks if the given CNF formula evaluates to true for some arbitrary input combinations.