naive-3-sat/index.js

naive solver for the 3-sat problem

const { NaiveSat } = require('./NaiveSat');
const repl = require('repl');

const replServer = repl.start({ prompt: '> ' });

replServer.defineCommand('sat', {
  help: 'try typing: .sat <expr>, where <expr> is an expression for which to calculate satisfibility, ex. ((!a & b) | (b | c)) & (c & !a)',
  action(expr) {
    this.clearBufferedCommand();
    const naiveSat = new NaiveSat(expr);
    naiveSat.printSat();
    this.displayPrompt();
  }
});

replServer.on('exit', () => {
  console.log('exiting program...');
  process.exit();
});