SAT
April 2, 2017 ยท View on GitHub
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.
April 2, 2017 ยท View on GitHub
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.