meteor/packages/logic-solver

logic-solver

Logic.Solver
    solver.require
    solver.forbid
    solver.solve
    solver.solveAssuming
Logic.Term
    Logic.TRUE
    Logic.FALSE
Logic.Formula
    Logic.not
    Logic.or
    Logic.and
    Logic.xor
    Logic.implies
    Logic.equiv
    Logic.atMostOne
    Logic.exactlyOne
Logic.Clause
Logic.Solution
    solution.getMap
    solution.getTrueVars
    solution.evaluate
    solution.getWeightedSum
Logic.Bits
    Logic.constantBits
    Logic.variableBits
    Logic.equalBits
    Logic.lessThan
    Logic.lessThanOrEqual
    Logic.greaterThan
    Logic.greaterThanOrEqual
    Logic.sum
    Logic.weightedSum