klee/klee — pull request #153 by delcypher (2014-09-14 13:00:57+00:00)
Title: Remove dependence on the bc tool. Use python instead because we are

already dependent on it.