This is my GitHub account for projects I contribute in Center for AI Safety (safe.ai). For projects I worked in CMU, visit: https://github.com/zifanw
-
sat Public
Forked from nparzan/satA simple implementation of the 3SAT problem
Python Apache License 2.0 UpdatedJan 4, 2020