Added solver TLQ (QP Zielonka with tangle learning)

trolando · Jan 5, 2025 · c7788e8 · c7788e8
1 parent 2c8b951
commit c7788e8
Show file tree

Hide file tree

Showing 7 changed files with 992 additions and 0 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -100,6 +100,7 @@ target_sources(oink
     src/solvers/zlkpp.cpp
     src/solvers/ptl.cpp
     src/solvers/dtl.cpp
+    src/solvers/tlq.cpp
     ${OINK_HDRS}
 )
 

diff --git a/src/solvers.cpp b/src/solvers.cpp
@@ -39,6 +39,7 @@
 #include "solvers/ppq.hpp"
 #include "solvers/ptl.hpp"
 #include "solvers/dtl.hpp"
+#include "solvers/tlq.hpp"
 
 namespace pg {
 
@@ -76,6 +77,7 @@ Solvers::Solvers()
     _add("rtl", "recursive tangle learning", 0, [] (Oink& oink, Game& game) { return std::make_unique<RTLSolver>(oink, game); });
     _add("ortl", "one-sided recursive tangle learning", 0, [] (Oink& oink, Game& game) { return std::make_unique<ORTLSolver>(oink, game); });
     _add("tl", "tangle learning", 0, [] (Oink& oink, Game& game) { return std::make_unique<TLSolver>(oink, game); });
+    _add("tlq", "qpt recursive with tangle learning", 0, [] (Oink& oink, Game& game) { return std::make_unique<TLQSolver>(oink, game); });
 }       
 
 void