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

2-Satisfiability code bricks for JavaScript

export * from './decide' ;
export * from './solve' ;
export * from './value' ;
export * from './variable' ;
export * from './verify' ;