C++ implementation of a Genetic algorithm (GA). A population of binary chromosomes is generated randomly to attempt to solve the Weighted MAX SAT Problem. Parameters of crossover, mutation, population size can be controlled via macros in code.There a

m-k检验程序，用于检验时间序列的突变点-mk testing procedures, the time series used to test the mutation

使用matlab进行突变检验，简单便捷。文件已经被压缩，解压以后，就可以使用。(Using MATLAB for mutation testing, simple and convenient. The file has been compressed and can be used after decompression.)