aureooms/js-2sat

export function solve ( formula , G , assignment ) {

    // ...

}