Beta

Loading Kata: Propositional SAT Problem [Performance]