predict-next-random/z3-solver.d.ts

Predicts the next number in a sequence of Math.random() numbers

declare module 'z3-solver' {
    const Z3: any;
    export default Z3;
}