plalwani/sat_solver
A satifiability solver using DPLL framework.
Discovered public repositories for plalwani in the GitHub catalog.
A satifiability solver using DPLL framework.
Some torch 7 demos from Clement Farabet
Simple demos to illustrate usage of qt package and torch 7 in lua