Open toeb opened 9 years ago
currently they are mostly used in the sat solver and other places where it is nice to have the combined map string/index addressability,
currently they are mostly used in the sat solver and other places where it is nice to have the combined map string/index addressability,