Awesome

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.