Development versions of Minisat-based Implementation and Optimization Study on SAT Solvers in Haskell / Github