@aureooms/js-2sat/src/decide.js

2-Satisfiability code bricks for JavaScript

export function decide ( formula , G ) {

	for ( let [ a , b ] of formula ) G.add_edges( [ -a , b ] , [ -b , a ] ) ;

	for ( let H of G.strongly_connected_components( ) ) {

		for ( let a of H ) if ( H.has( -a ) ) return false ;

	}

	return true ;

}