data/minisat+-1.0/Hardware_clausify.C:273: neccessary ==> necessary
data/minisat+-1.0/Makefile:8: SatELite ==> satellite
data/minisat+-1.0/MiniSat.C:270: upto ==> up to
data/minisat+-1.0/MiniSat.C:543: assigment ==> assignment
data/minisat+-1.0/MiniSat.C:584: assigment ==> assignment
data/minisat+-1.0/MiniSat.C:676: Arbitrarly ==> Arbitrarily, arbitrary
data/minisat+-1.0/PbSolver.C:512: SatELite ==> satellite
data/minisat+-1.0/SatELite.h:1: SatELite ==> satellite
data/minisat+-1.0/SatELite.h:32: SatELite ==> satellite
data/minisat+-1.0/SatELite.h:292: occurance ==> occurrence
data/minisat+-1.0/SatELite.h:313: satified ==> satisfied
data/minisat+-1.0/Solver.h:24: SatELite ==> satellite
data/minisat+-1.0/Solver.h:31: SatELite ==> satellite
data/minisat+-1.0/Solver.h:31: satelite ==> satellite
data/minisat+-1.0/Solver.h:61: SatELite ==> satellite
data/minisat+-1.0/Solver.h:62: SatELite ==> satellite
data/minisat+-1.0/Solver.h:63: SATELITE ==> SATELLITE
data/minisat+-1.0/Solver.h:68: satelite ==> satellite
data/minisat+-1.0/Solver.h:68: SatELite ==> satellite
data/minisat+-1.0/Main.C:71: SatELite ==> satellite
data/minisat+-1.0/Main.C:80: prefering ==> preferring
data/minisat+-1.0/Main.C:81: prefering ==> preferring
data/minisat+-1.0/Main.C:135: satelite ==> satellite
data/minisat+-1.0/Main.C:255: SatELite ==> satellite
data/minisat+-1.0/Main.C:263: SatELite ==> satellite
data/minisat+-1.0/Main.C:295: determinte ==> determine, determined
data/minisat+-1.0/PbParser.C:158: tempory ==> temporary
data/minisat+-1.0/ADTs/Map.h:155: refering ==> referring
data/minisat+-1.0/debian/minisat+.1:27: SatELite ==> satellite
data/minisat+-1.0/debian/patches/exitcode:12: SatELite ==> satellite
data/minisat+-1.0/debian/patches/spelling:10: prefering ==> preferring
data/minisat+-1.0/debian/patches/spelling:11: prefering ==> preferring
data/minisat+-1.0/debian/patches/spelling:12: convertion ==> conversion
data/minisat+-1.0/.pc/spelling/Main.C:71: SatELite ==> satellite
data/minisat+-1.0/.pc/spelling/Main.C:80: prefering ==> preferring
data/minisat+-1.0/.pc/spelling/Main.C:81: prefering ==> preferring
data/minisat+-1.0/.pc/spelling/Main.C:82: convertion ==> conversion
data/minisat+-1.0/.pc/spelling/Main.C:135: satelite ==> satellite
data/minisat+-1.0/.pc/spelling/Main.C:255: SatELite ==> satellite
data/minisat+-1.0/.pc/spelling/Main.C:263: SatELite ==> satellite
data/minisat+-1.0/.pc/spelling/Main.C:295: determinte ==> determine, determined
data/minisat+-1.0/.pc/exitcode/Main.C:71: SatELite ==> satellite
data/minisat+-1.0/.pc/exitcode/Main.C:80: prefering ==> preferring
data/minisat+-1.0/.pc/exitcode/Main.C:81: prefering ==> preferring
data/minisat+-1.0/.pc/exitcode/Main.C:135: satelite ==> satellite
data/minisat+-1.0/.pc/exitcode/Main.C:255: SatELite ==> satellite
data/minisat+-1.0/.pc/exitcode/Main.C:263: SatELite ==> satellite
data/minisat+-1.0/.pc/exitcode/Main.C:295: determinte ==> determine, determined
data/minisat+-1.0/.pc/exitcode/PbParser.C:158: tempory ==> temporary