using lingeling instead of plingeling

src/vagabond/singleton/VagabondSettings.java

@@ -125,8 +125,9 @@ public class VagabondSettings {
     /**
      * Filename of the CNF Solver executable for Windows; 
      * Automatically changes this if you are on Linux/Mac to the binary compiled for that system.
+     * Can be: lingeling.exe, plingeling.exe, treengeling.exe
      */
-    public String cnfSolverProgram_Win = "plingeling.exe";
+    public String cnfSolverProgram_Win = "lingeling.exe";
     /**
      * Filename of the CNF Solver executable for Linux; 
      * Automatically changes this if you are on Linux/Mac to the binary compiled for that system.