guoye-zhang/WWDC2017-SAT

iOS Swift Playground for WWDC 2017 Scholarship

SAT

SAT is an iOS Swift Playground that teaches declarative programming in Boolean satisfiability problem.

It is inspired by Declarative Methods taught by Professor Jason Eisner.

Download

Screenshots