Cleaning code

src/map/if/acd/ac_decomposition.hpp

@@ -459,7 +459,7 @@ private:
     if ( free_set_size == offset )
     {
       best_cost = fn( tt );
-      return { tt, permutations, best_cost };
+      return std::make_tuple( tt, permutations, best_cost );
     }
 
     /* works up to 16 input truth tables */

src/map/if/acd/kitty_operations.hpp

@@ -6,7 +6,6 @@
 #include <cassert>
 #include <functional>
 #include <iterator>
-#include <optional>
 #include <iostream>
 
 #include "kitty_algorithm.hpp"

src/map/if/acd/kitty_operators.hpp

@@ -6,7 +6,6 @@
 #include <cassert>
 #include <functional>
 #include <iterator>
-#include <optional>
 
 #include "kitty_constants.hpp"
 #include "kitty_dynamic_tt.hpp"