What are the common features of the best SAT Solvers?
Can you build an effective SAT Solver in a slow language like Clojure?
Is it possible to help students learn Logic more and faster by providing them with tools that require concentration and text-based skills?
Is it possible to help students learn programming better and faster by introducing Coding Dojo Activities?