logic-solver-plus/index.mjs

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

import MiniSat from './minisat_wrapper.mjs'
import Logic from './logic.cjs'
Logic.Solver = class Solver extends Logic.Solver {
    _MiniSatConstructor=MiniSat
    initialize(){
        return super.initialize.bind(this)()
    }
}
export default Logic