data/minisat2-2.2.1/Makefile:125: buit ==> built
data/minisat2-2.2.1/README:6: reffered ==> referred
data/minisat2-2.2.1/README:35: seperate ==> separate
data/minisat2-2.2.1/doc/ReleaseNotes-2.2.0.txt:33: architechtures ==> architectures
data/minisat2-2.2.1/minisat/core/Dimacs.h:35: lits ==> list
data/minisat2-2.2.1/minisat/core/Dimacs.h:37: lits ==> list
data/minisat2-2.2.1/minisat/core/Dimacs.h:43: lits ==> list
data/minisat2-2.2.1/minisat/core/Dimacs.h:49: lits ==> list
data/minisat2-2.2.1/minisat/core/Dimacs.h:70: lits ==> list
data/minisat2-2.2.1/minisat/core/Dimacs.h:71: lits ==> list
data/minisat2-2.2.1/minisat/core/Solver.cc:583: assigment ==> assignment
data/minisat2-2.2.1/minisat/core/Solver.cc:619: assigment ==> assignment
data/minisat2-2.2.1/minisat/core/Solver.h:53: superflous ==> superfluous
data/minisat2-2.2.1/minisat/core/Solver.h:94: contraints ==> constraints
data/minisat2-2.2.1/minisat/core/Solver.h:102: managment ==> management
data/minisat2-2.2.1/minisat/core/Solver.h:130: intitial ==> initial
data/minisat2-2.2.1/minisat/core/Solver.h:183: assigments ==> assignments
data/minisat2-2.2.1/minisat/core/Solver.h:197: exept ==> except, exempt
data/minisat2-2.2.1/minisat/core/Solver.h:197: wich ==> which
data/minisat2-2.2.1/minisat/core/Solver.h:208: contraints ==> constraints
data/minisat2-2.2.1/minisat/core/SolverTypes.h:273: occurence ==> occurrence
data/minisat2-2.2.1/minisat/mtl/XAlloc.h:30: situtaions ==> situations
data/minisat2-2.2.1/minisat/simp/SimpSolver.cc:483: wether ==> weather, whether
data/minisat2-2.2.1/minisat/simp/SimpSolver.cc:624: assymetric ==> asymmetric
data/minisat2-2.2.1/minisat/simp/SimpSolver.h:49: occurences ==> occurrences
data/minisat2-2.2.1/minisat/simp/SimpSolver.h:66: managment ==> management
data/minisat2-2.2.1/minisat/simp/SimpSolver.h:107: noticably ==> noticeably
data/minisat2-2.2.1/debian/watch:11: Uncommment ==> Uncomment
data/minisat2-2.2.1/.pc/clang_build/minisat/core/SolverTypes.h:273: occurence ==> occurrence