merged from flatcnf to include the multiprocess solver
Add examples for solving formula in FlatCNF form.