logic-solver-plus/index.cjs

A fork of logic-solver that is compiled to wasm instead of JS with additional features

const Logic = require('./logic.cjs')
const MiniSat = import('./minisat_wrapper.mjs').then(m=>m.default)
Logic.Solver = class Solver extends Logic.Solver {
    _MiniSatConstructor=MiniSat
    initialize(){
        return super.initialize.bind(this)()
    }
}
module.exports = Logic