{"version":3,"sources":["jsdelivr-header.js","/npm/propsat@2.1.0/index.js"],"names":[],"mappings":"AAAA;AACA;AACA;AACA;AACA;AACA;AACA,ACNA,MAAM,GAAK,QAAQ,YACb,OAAS,QAAQ,gBACjB,SAAW,QAAQ,kBACnB,IAAM,QAAQ,aACd,SAAW,QAAQ,cAGzB,OAAO,QAAQ,iBAAmB,QAAQ,gBAAgB,MAC1D,OAAO,QAAQ,iBAAmB,OAAO,iBACzC,OAAO,QAAQ,uBAAyB,OAAO,uBAC/C,OAAO,QAAQ,eAAiB,SAAS,eACzC,OAAO,QAAQ,aAAe,SAAS,aACvC,OAAO,QAAQ,iBAAmB,SAAS,iBAC3C,OAAO,QAAQ,cAAgB,IAAI,aACnC,OAAO,QAAQ,kBAAoB,IAAI,iBACvC,OAAO,QAAQ,aAAe,SAAS,aACvC,OAAO,QAAQ,kBAAoB,SAAS,kBAC5C,OAAO,QAAQ,eAAiB,SAAS,eACzC,OAAO,QAAQ,qBAAuB,SAAS,qBAC/C,OAAO,QAAQ,mBAAqB,SAAS,mBAG7C,OAAO,QAAQ,mBAAqB,SAAS,mBAC7C,OAAO,QAAQ,wBAA0B,SAAS,wBAClD,OAAO,QAAQ,uBAAyB,SAAS,eACjD,OAAO,QAAQ,oBAAsB,SAAS,YAC9C,OAAO,QAAQ,kBAAoB,SAAS,kBAG5C,OAAO,QAAQ,eAAiB,QAAQ,kBAAkB,eAG1D,OAAO,QAAQ,eAAiB,QAAQ,kBAAkB,eAG1D,OAAO,QAAQ,oBAAsB,GAAG,oBACxC,OAAO,QAAQ,wBAA0B,GAAG,wBAC5C,OAAO,QAAQ,mBAAqB,GAAG,mBACvC,OAAO,QAAQ,uBAAyB,GAAG","file":"/npm/propsat@2.1.0/index.js","sourceRoot":"","sourcesContent":["/**\n * Minified by jsDelivr using Terser v5.39.0.\n * Original file: /npm/propsat@2.1.0/index.js\n *\n * Do NOT use SRI with dynamically generated files! More information: https://www.jsdelivr.com/using-sri-with-dynamic-files\n */\n","const io = require('./lib/io');\nconst formio = require('./lib/formio');\nconst formutil = require('./lib/formutil');\nconst cnf = require('./lib/cnf');\nconst formeval = require('./lib/eval');\n\n// --- FORMULAS ---\nmodule.exports.stringToPropForm = require('./lib/parser').parse;\nmodule.exports.propFormToString = formio.propFormToString;\nmodule.exports.propFormPrefixToString = formio.propFormPrefixToString;\nmodule.exports.propFormsEqual = formutil.propFormsEqual;\nmodule.exports.copyPropForm = formutil.copyPropForm;\nmodule.exports.simplifyPropForm = formutil.simplifyPropForm;\nmodule.exports.propFormToCnf = cnf.convertToCnf;\nmodule.exports.propFormToClauses = cnf.convertToClauses;\nmodule.exports.evalPropForm = formeval.evalPropForm;\nmodule.exports.initialAssignment = formeval.initialAssignment;\nmodule.exports.nextAssignment = formeval.nextAssignment;\nmodule.exports.createNextAssignment = formeval.createNextAssignment;\nmodule.exports.craigInterpolation = formutil.craigInterpolation;\n\n// --- SATISFIABILITY CHECKING ---\nmodule.exports.clausesSatisfiedBy = formeval.clausesSatisfiedBy;\nmodule.exports.unsatisfiedClausesCount = formeval.unsatisfiedClausesCount;\nmodule.exports.isPropFormInconsistent = formeval.isInconsistent;\nmodule.exports.isPropFormTautology = formeval.isTautology;\nmodule.exports.followsFromAxioms = formeval.followsFromAxioms;\n\n// --- RESOLUTION ---\nmodule.exports.createResolver = require('./lib/resolver').createResolver;\n\n// --- TABLEAUX ---\nmodule.exports.createTableaux = require('./lib/tableaux').createTableaux;\n\n// --- FILE IO ---\nmodule.exports.readClausesFromFile = io.readClausesFromFile;\nmodule.exports.readClausesFromFileSync = io.readClausesFromFileSync;\nmodule.exports.writeClausesToFile = io.writeClausesToFile;\nmodule.exports.writeClausesToFileSync = io.writeClausesToFileSync;"]}