Add example for dimacs and sat4j