@logic-pad/core/dist/data/solver/allSolvers.js

import UniversalSolver from './universal/universalSolver.js';
import BacktrackSolver from './backtrack/backtrackSolver.js';
import Z3Solver from './z3/z3Solver.js';
import CspuzSolver from './cspuz/cspuzSolver.js';
import AutoSolver from './auto/autoSolver.js';
const allSolvers = new Map();
function register(prototype) {
    allSolvers.set(prototype.id, prototype);
}
register(new AutoSolver());
register(new CspuzSolver());
register(new BacktrackSolver());
register(new UniversalSolver());
register(new Z3Solver());
export { allSolvers };