zguo14's repositories
SimpleSATSolver
A Boolean SAT solver based on DPLL.
AfterglowP
Predict sunset quality based on AI algorithms.
Language:Python000
Language:C000
Language:C000
Language:CSS000
Language:JavaScript000
Language:Java000
A Boolean SAT solver based on DPLL.
Predict sunset quality based on AI algorithms.