UNPKG

@aureooms/js-2sat

Version:

2-Satisfiability code bricks for JavaScript

aureooms.github.io/js-2sat/

aureooms/js-2sat

12 lines (9 loc) • 621 B
1
2
3
4
5
6
7
8
9
10
11
12
"use strict"; Object.defineProperty(exports, "__esModule", { value: true }); exports.solve = solve; function solve(formula, G, assignment) { // ... } //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9zb2x2ZS5qcyJdLCJuYW1lcyI6WyJzb2x2ZSIsImZvcm11bGEiLCJHIiwiYXNzaWdubWVudCJdLCJtYXBwaW5ncyI6Ijs7Ozs7UUFDZ0JBLEssR0FBQUEsSztBQUFULFNBQVNBLEtBQVQsQ0FBaUJDLE9BQWpCLEVBQTJCQyxDQUEzQixFQUErQkMsVUFBL0IsRUFBNEM7O0FBRWxEOztBQUVBIiwiZmlsZSI6InNvbHZlLmpzIiwic291cmNlc0NvbnRlbnQiOlsiXG5leHBvcnQgZnVuY3Rpb24gc29sdmUgKCBmb3JtdWxhICwgRyAsIGFzc2lnbm1lbnQgKSB7XG5cblx0Ly8gLi4uXG5cbn1cblxuIl19