@logic-pad/core/dist/data/solver/z3/modules/index.js

import * as modules from './modules.gen.js';
const allZ3Modules = new Map();
function register(prototype) {
    allZ3Modules.set(prototype.id, prototype);
}
Object.values(modules).forEach(module => {
    if (module)
        register(module);
});
export { allZ3Modules };