File list (Check if you may need any files):
SAT_ACO_Lib\ACO.cs
...........\Ant.cs
...........\bin\Debug\SAT_ACO_Lib.dll
...........\...\.....\SAT_ACO_Lib.pdb
...........\Clause.cs
...........\CNF.cs
...........\FileReader.cs
...........\obj\Debug\SAT_ACO_Lib.csproj.FileListAbsolute.txt
...........\...\.....\SAT_ACO_Lib.dll
...........\...\.....\SAT_ACO_Lib.pdb
...........\Properties\AssemblyInfo.cs
...........\SAT_ACO_Lib.csproj
SAT_ACO.sln
.......\bin\Debug\SAT_ACO可执行文件.rar
.......\obj\Debug\ResolveAssemblyReference.cache
.......\...\.....\SAT_ACO.csproj.FileListAbsolute.txt
.......\...\.....\SAT_ACO.exe
.......\...\.....\SAT_ACO.pdb
.......\Program.cs
.......\...perties\AssemblyInfo.cs
.......\SAT_ACO.csproj
......._Lib\obj\Debug\Refactor
...........\...\.....\TempPE
.......\obj\Debug\TempPE
......._Lib\bin\Debug
...........\obj\Debug
.......\bin\Debug
.......\obj\Debug
......._Lib\bin
...........\obj
...........\Properties
.......\bin
.......\obj
.......\Properties
SAT_ACO_Lib
SAT_ACO