logic-solver
Advanced tools
Comparing version 2.0.0 to 2.0.1
@@ -1441,3 +1441,5 @@ var MiniSat = require("./minisat_wrapper.js"); | ||
var i = self._numClausesAddedToMiniSat; | ||
var stillSat = self._minisat.addClause(self.clauses[i].terms); | ||
var terms = self.clauses[i].terms; | ||
if (assert) assert(terms, isArrayWhere(Logic.isNumTerm)); | ||
var stillSat = self._minisat.addClause(terms); | ||
self._numClausesAddedToMiniSat++; | ||
@@ -1449,2 +1451,4 @@ if (! stillSat) { | ||
} | ||
if (assert) assert(this._num2name.length - 1, Logic.isWholeNumber); | ||
self._minisat.ensureVar(this._num2name.length - 1); | ||
@@ -1451,0 +1455,0 @@ |
@@ -60,3 +60,2 @@ var C_MINISAT = require("./minisat.js"); | ||
MiniSat.prototype.ensureVar = function (v) { | ||
Logic._assertIfEnabled(v, Logic.isWholeNumber); | ||
this._C._ensureVar(v); | ||
@@ -70,3 +69,2 @@ }; | ||
MiniSat.prototype.addClause = function (terms) { | ||
Logic._assertIfEnabled(terms, Logic._isArrayWhere(Logic.isNumTerm)); | ||
this._clauses.push(terms); | ||
@@ -73,0 +71,0 @@ return this._native.savingStack(function (native, C) { |
{ | ||
"name": "logic-solver", | ||
"version": "2.0.0", | ||
"version": "2.0.1", | ||
"description": "General satisfiability solver for logic problems", | ||
@@ -5,0 +5,0 @@ "main": "logic-solver.js", |
@@ -30,5 +30,14 @@ # Logic Solver | ||
## On NPM | ||
``` | ||
var Logic = require('logic-solver'); | ||
``` | ||
https://www.npmjs.com/package/logic-solver | ||
## Table of Contents | ||
- [Introduction](#introduction) | ||
- [On NPM](#on-npm) | ||
- [Example: Dinner Guests](#example-dinner-guests) | ||
@@ -35,0 +44,0 @@ - [Example: Magic Squares](#example-magic-squares) |
Sorry, the diff of this file is not supported yet
License Policy Violation
LicenseThis package is not allowed per your license policy. Review the package's license to ensure compliance.
Found 1 instance in 1 package
License Policy Violation
LicenseThis package is not allowed per your license policy. Review the package's license to ensure compliance.
Found 1 instance in 1 package
348026
2702
1352