// This file is generated by the meteor/minisat repo.
// See that repo's README for instructions for building it.
// (start of meteor/extern-preamble.js)
// 
// provide stubs or proxies for nodejs APIs referenced by emscripten.
// Put emscripten in "node mode" but don't give it the real `process`
// object.  
// This is to avoid emscripten causing memory leaks.
// It *does* have access to `console`.
require = function (mod) {
  // mock 'fs' module
  if (mod === 'fs') {
    return {
      readFileSync: function (filename) {
        throw new Error(`github.com/meteor/minisat: meteor > extern-preamble.js > require > readFileSync not implemented`);
        ; // no-op
      }
    };
  } else if (mod === 'perf_hooks') {
    return {
      now: () => Date.now()
    };
  }
};
const process = {
  argv: ['node', 'minisat'],
  on: function () { },
  stdout: {
    write: function (str) {
      console.log("MINISAT-out:", str.replace(/\n$/, ''));
    }
  },
  stderr: {
    write: function (str) {
      console.log("MINISAT-err:", str.replace(/\n$/, ''));
    }
  },
  versions: {
    "node": "14.21.3"
  },
  release: {
    "name": "node",
  },
  exit: (code) => { console?.error(`github.com/meteor/minisat meteor > extern-preamble.js > process > exit not implemented.`); }
};
const window = 0;
// (end of meteor/extern-preamble.js)
var Module = (() => {
  var _scriptName = typeof document != 'undefined' ? document.currentScript?.src : undefined;
  if (typeof __filename != 'undefined') _scriptName = _scriptName || __filename;
  return (
function(moduleArg = {}) {
  var moduleRtn;

function _defineProperty(e,r,t){return(r=_toPropertyKey(r))in e?Object.defineProperty(e,r,{value:t,enumerable:!0,configurable:!0,writable:!0}):e[r]=t,e}function _toPropertyKey(t){var i=_toPrimitive(t,"string");return"symbol"==typeof i?i:i+""}function _toPrimitive(t,r){if("object"!=typeof t||!t)return t;var e=t[Symbol.toPrimitive];if(void 0!==e){var i=e.call(t,r||"default");if("object"!=typeof i)return i;throw new TypeError("@@toPrimitive must return a primitive value.")}return("string"===r?String:Number)(t)}var c=moduleArg,aa,f,ba=new Promise((a,b)=>{aa=a;f=b});"_addClause _createTheSolver _ensureVar _free _getConflictClause _getConflictClauseSize _getNumVars _getSolution _malloc _retireVar _solve _solveAssuming _unyo _yo ccall cwrap UTF8ToString stringToUTF8 UTF16ToString stringToUTF16 UTF32ToString stringToUTF32 AsciiToString intArrayFromString intArrayToString writeArrayToMemory stackSave stackAlloc stackRestore getValue setValue _memory ___indirect_function_table onRuntimeInitialized".split(" ").forEach(a=>{Object.getOwnPropertyDescriptor(ba,a)||Object.defineProperty(ba,a,{get:()=>l("You are getting "+a+" on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js"),set:()=>l("You are setting "+a+" on the Promise object, instead of the instance. Use .then() to get called back with the instance, see the MODULARIZE docs in src/settings.js")})});var ca=Object.assign({},c),m=(a,b)=>{throw b},da;if("undefined"==typeof process||!process.release||"node"!==process.release.name)throw Error("not compiled for this environment (did you build to HTML and try to run it not on the web, or set ENVIRONMENT to something - like node - and run it someplace else - like on the web?)");var ea=process.versions.node,n=ea.split(".").slice(0,3);n=1e4*n[0]+100*n[1]+1*n[2].split("-")[0];if(14e4>n)throw Error("This emscripten-generated code requires node v14.0.0 (detected v"+ea+")");var fs=require("fs");require("path");da=a=>{a=fa(a)?new URL(a):a;a=fs.readFileSync(a);p(Buffer.isBuffer(a));return a};process.argv.slice(2);m=(a,b)=>{process.exitCode=a;throw b};var r=c.print||console.log.bind(console),u=c.printErr||console.error.bind(console);Object.assign(c,ca);ca=null;Object.getOwnPropertyDescriptor(c,"fetchSettings")&&l("`Module.fetchSettings` was supplied but `fetchSettings` not included in INCOMING_MODULE_JS_API");v("arguments","arguments_");v("thisProgram","thisProgram");p("undefined"==typeof c.memoryInitializerPrefixURL,"Module.memoryInitializerPrefixURL option was removed, use Module.locateFile instead");p("undefined"==typeof c.pthreadMainPrefixURL,"Module.pthreadMainPrefixURL option was removed, use Module.locateFile instead");p("undefined"==typeof c.cdInitializerPrefixURL,"Module.cdInitializerPrefixURL option was removed, use Module.locateFile instead");p("undefined"==typeof c.filePackagePrefixURL,"Module.filePackagePrefixURL option was removed, use Module.locateFile instead");p("undefined"==typeof c.read,"Module.read option was removed");p("undefined"==typeof c.readAsync,"Module.readAsync option was removed (modify readAsync in JS)");p("undefined"==typeof c.readBinary,"Module.readBinary option was removed (modify readBinary in JS)");p("undefined"==typeof c.setWindowTitle,"Module.setWindowTitle option was removed (modify emscripten_set_window_title in JS)");p("undefined"==typeof c.TOTAL_MEMORY,"Module.TOTAL_MEMORY has been renamed Module.INITIAL_MEMORY");v("asm","wasmExports");v("readAsync","readAsync");v("readBinary","readBinary");v("setWindowTitle","setWindowTitle");p(!0,"web environment detected but not enabled at build time.  Add `web` to `-sENVIRONMENT` to enable.");p(!0,"worker environment detected but not enabled at build time.  Add `worker` to `-sENVIRONMENT` to enable.");p(!0,"shell environment detected but not enabled at build time.  Add `shell` to `-sENVIRONMENT` to enable.");var ha=c.wasmBinary;v("wasmBinary","wasmBinary");"object"!=typeof WebAssembly&&u("no native wasm support detected");"undefined"==typeof atob&&("undefined"!=typeof global&&"undefined"==typeof globalThis&&(globalThis=global),globalThis.atob=function(a){var b="",d=0;a=a.replace(/[^A-Za-z0-9\+\/=]/g,"");do{var e="ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/=".indexOf(a.charAt(d++));var g="ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/=".indexOf(a.charAt(d++));var k="ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/=".indexOf(a.charAt(d++));var h="ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/=".indexOf(a.charAt(d++));e=e<<2|g>>4;g=(g&15)<<4|k>>2;var q=(k&3)<<6|h;b+=String.fromCharCode(e);64!==k&&(b+=String.fromCharCode(g));64!==h&&(b+=String.fromCharCode(q))}while(d<a.length);return b});var w,x=!1,y;function p(a,b){a||l("Assertion failed"+(b?": "+b:""))}var z,A,B,ia,C,D,ja,ka;function la(){var a=w.buffer;c.HEAP8=z=new Int8Array(a);c.HEAP16=B=new Int16Array(a);c.HEAPU8=A=new Uint8Array(a);c.HEAPU16=ia=new Uint16Array(a);c.HEAP32=C=new Int32Array(a);c.HEAPU32=D=new Uint32Array(a);c.HEAPF32=ja=new Float32Array(a);c.HEAPF64=ka=new Float64Array(a)}let ma;(ma=global).performance??(ma.performance=require("perf_hooks").performance);p(!c.STACK_SIZE,"STACK_SIZE can no longer be set at runtime.  Use -sSTACK_SIZE at link time");p("undefined"!=typeof Int32Array&&"undefined"!==typeof Float64Array&&void 0!=Int32Array.prototype.subarray&&void 0!=Int32Array.prototype.set,"JS engine does not provide full typed array support");p(!c.wasmMemory,"Use of `wasmMemory` detected.  Use -sIMPORTED_MEMORY to define wasmMemory externally");p(!c.INITIAL_MEMORY,"Detected runtime INITIAL_MEMORY setting.  Use -sIMPORTED_MEMORY to define wasmMemory dynamically");function na(){var a=oa();p(0==(a&3));0==a&&(a+=4);D[a>>2]=34821223;D[a+4>>2]=2310721022;D[0]=1668509029}function E(){if(!x){var a=oa();0==a&&(a+=4);var b=D[a>>2],d=D[a+4>>2];34821223==b&&2310721022==d||l(`Stack overflow! Stack cookie has been overwritten at ${F(a)}, expected hex dwords 0x89BACDFE and 0x2135467, but received ${F(d)} ${F(b)}`);1668509029!=D[0]&&l("Runtime error: The application has corrupted its heap memory area (address zero)!")}}var pa=[],qa=[],ra=[],sa=!1;function ta(){var a=c.preRun.shift();pa.unshift(a)}p(Math.imul,"This browser does not support Math.imul(), build with LEGACY_VM_SUPPORT or POLYFILL_OLD_MATH_FUNCTIONS to add in a polyfill");p(Math.fround,"This browser does not support Math.fround(), build with LEGACY_VM_SUPPORT or POLYFILL_OLD_MATH_FUNCTIONS to add in a polyfill");p(Math.clz32,"This browser does not support Math.clz32(), build with LEGACY_VM_SUPPORT or POLYFILL_OLD_MATH_FUNCTIONS to add in a polyfill");p(Math.trunc,"This browser does not support Math.trunc(), build with LEGACY_VM_SUPPORT or POLYFILL_OLD_MATH_FUNCTIONS to add in a polyfill");var G=0,H=null,J={},K=null;function ua(){var _c$monitorRunDependen;G++;(_c$monitorRunDependen=c.monitorRunDependencies)===null||_c$monitorRunDependen===void 0||_c$monitorRunDependen.call(c,G);p(!J["wasm-instantiate"]);J["wasm-instantiate"]=1;null===K&&"undefined"!=typeof setInterval&&(K=setInterval(()=>{if(x)clearInterval(K),K=null;else{var a=!1,b;for(b in J)a||(a=!0,u("still waiting on run dependencies:")),u(`dependency: ${b}`);a&&u("(end of list)")}},1e4))}function l(a){var _c$onAbort;(_c$onAbort=c.onAbort)===null||_c$onAbort===void 0||_c$onAbort.call(c,a);a="Aborted("+a+")";u(a);x=!0;a=new WebAssembly.RuntimeError(a);f(a);throw a}function va(){l("Filesystem support (FS) was not included. The problem is that you are using files from JS, but files were not used from C/C++, so filesystem support was not auto-included. You can force-include filesystem support with -sFORCE_FILESYSTEM")}c.FS_createDataFile=function(){va()};c.FS_createPreloadedFile=function(){va()};var wa=a=>a.startsWith("data:application/octet-stream;base64,"),fa=a=>a.startsWith("file://");function L(a,b){return function(){p(sa,`native function \`${a}\` called before runtime initialization`);var e=M[a];p(e,`exported native function \`${a}\` not found`);p(arguments.length<=b,`native function \`${a}\` called with ${arguments.length} args but expects ${b}`);return e(...arguments)}}var N;function xa(a){if(N==N&&ha)var b=new Uint8Array(ha);else if(b=N,wa(b)?(b=b.slice(37),b=Buffer.from(b,"base64"),b=new Uint8Array(b.buffer,b.byteOffset,b.length)):b=void 0,!b)if(da)b=da(N);else throw'sync fetching of the wasm failed: you can preload it to Module["wasmBinary"] manually, or emcc.py will do that for you when generating HTML (but not JS)';b=new WebAssembly.Module(b);return[new WebAssembly.Instance(b,a),b]}var ya=new Int16Array(1),za=new Int8Array(ya.buffer);ya[0]=25459;if(115!==za[0]||99!==za[1])throw"Runtime error: expected the system to be little-endian! (Run with -sSUPPORT_BIG_ENDIAN to bypass)";if(c.ENVIRONMENT)throw Error("Module.ENVIRONMENT has been deprecated. To force the environment, use the ENVIRONMENT compile-time option (for example, -sENVIRONMENT=web or -sENVIRONMENT=node)");function v(a,b){Object.getOwnPropertyDescriptor(c,a)||Object.defineProperty(c,a,{configurable:!0,get(){l(`\`Module.${a}\` has been replaced by \`${b}\``+" (the initial value can be provided on Module, but after startup the value is only looked for on a local variable of that name)")}})}class Aa{constructor(a){_defineProperty(this,"name","ExitStatus");this.message=`Program terminated with exit(${a})`;this.status=a}}c.ExitStatus=Aa;var O=a=>{for(;0<a.length;)a.shift()(c)};c.callRuntimeCallbacks=O;c.getValue=function(a){let b=arguments.length>1&&arguments[1]!==undefined?arguments[1]:"i8";b.endsWith("*")&&(b="*");switch(b){case"i1":return z[a];case"i8":return z[a];case"i16":return B[a>>1];case"i32":return C[a>>2];case"i64":l("to do getValue(i64) use WASM_BIGINT");case"float":return ja[a>>2];case"double":return ka[a>>3];case"*":return D[a>>2];default:l(`invalid type for getValue: ${b}`)}};var Q=c.noExitRuntime||!0;c.noExitRuntime=Q;var F=a=>{p("number"===typeof a);return"0x"+(a>>>0).toString(16).padStart(8,"0")};c.ptrToString=F;c.setValue=function(a,b){let d=arguments.length>2&&arguments[2]!==undefined?arguments[2]:"i8";d.endsWith("*")&&(d="*");switch(d){case"i1":z[a]=b;break;case"i8":z[a]=b;break;case"i16":B[a>>1]=b;break;case"i32":C[a>>2]=b;break;case"i64":l("to do setValue(i64) use WASM_BIGINT");case"float":ja[a>>2]=b;break;case"double":ka[a>>3]=b;break;case"*":D[a>>2]=b;break;default:l(`invalid type for setValue: ${d}`)}};c.stackRestore=a=>Ba(a);c.stackSave=()=>Ca();var R=a=>{R.h||(R.h={});R.h[a]||(R.h[a]=1,u("warning: "+a))};c.warnOnce=R;var Da="undefined"!=typeof TextDecoder?new TextDecoder:void 0;c.UTF8Decoder=Da;var Ea=function(a){let b=arguments.length>1&&arguments[1]!==undefined?arguments[1]:0;let d=arguments.length>2&&arguments[2]!==undefined?arguments[2]:NaN;var e=b+d;for(d=b;a[d]&&!(d>=e);)++d;if(16<d-b&&a.buffer&&Da)return Da.decode(a.subarray(b,d));for(e="";b<d;){var g=a[b++];if(g&128){var k=a[b++]&63;if(192==(g&224))e+=String.fromCharCode((g&31)<<6|k);else{var h=a[b++]&63;224==(g&240)?g=(g&15)<<12|k<<6|h:(240!=(g&248)&&R("Invalid UTF-8 leading byte "+F(g)+" encountered when deserializing a UTF-8 string in wasm memory to a JS string!"),g=(g&7)<<18|k<<12|h<<6|a[b++]&63);65536>g?e+=String.fromCharCode(g):(g-=65536,e+=String.fromCharCode(55296|g>>10,56320|g&1023))}}else e+=String.fromCharCode(g)}return e};c.UTF8ArrayToString=Ea;var S=(a,b)=>{p("number"==typeof a,`UTF8ToString expects a number (got ${typeof a})`);return a?Ea(A,a,b):""};c.UTF8ToString=S;var Fa=(a,b,d,e)=>l(`Assertion failed: ${S(a)}, at: `+[b?S(b):"unknown filename",d,e?S(e):"unknown function"]);c.___assert_fail=Fa;var T;c.wasmTable=T;c.getWasmTableEntry=a=>T.get(a);var Ga=(a,b)=>T.get(a)(b);c.___call_sighandler=Ga;class Ha{constructor(a){this.g=a-24}}c.ExceptionInfo=Ha;var Ia=0;c.exceptionLast=Ia;var Ja=0;c.uncaughtExceptionCount=Ja;var Ka=(a,b,d)=>{var e=new Ha(a);D[e.g+16>>2]=0;D[e.g+4>>2]=b;D[e.g+8>>2]=d;Ia=a;Ja++;p(!1,"Exception thrown, but exception catching is not enabled. Compile with -sNO_DISABLE_EXCEPTION_CATCHING or -sEXCEPTION_CATCHING_ALLOWED=[..] to catch.")};c.___cxa_throw=Ka;var La=()=>l("native code called abort()");c.__abort_js=La;var U=0;c.runtimeKeepaliveCounter=U;var Ma=()=>{Q=!1;U=0};c.__emscripten_runtime_keepalive_clear=Ma;var V={};c.timers=V;var Na=a=>{if(a instanceof Aa||"unwind"==a)return y;E();a instanceof WebAssembly.RuntimeError&&0>=Ca()&&u("Stack overflow detected.  You can try increasing -sSTACK_SIZE (currently set to 65536)");m(1,a)};c.handleException=Na;c.keepRuntimeAlive=()=>Q||0<U;var Oa=a=>{var _c$onExit;y=a;Q||0<U||((_c$onExit=c.onExit)!==null&&_c$onExit!==void 0&&_c$onExit.call(c,a),x=!0);m(a,new Aa(a))};c._proc_exit=Oa;var W=(a,b)=>{y=a;Pa();(Q||0<U)&&!b&&(b=`program exited (with status: ${a}), but keepRuntimeAlive() is set (counter=${U}) due to an async operation, so halting execution but not exiting the runtime or preventing further async execution (you can use emscripten_force_exit, if you want to force a true shutdown)`,f(b),u(b));Oa(a)};c.exitJS=W;c._exit=W;var Qa=()=>{if(!(Q||0<U))try{W(y)}catch(a){Na(a)}};c.maybeExit=Qa;var Ra=a=>{if(x)u("user callback triggered after runtime exited or application aborted.  Ignoring.");else try{a(),Qa()}catch(b){Na(b)}};c.callUserCallback=Ra;c._emscripten_get_now=()=>performance.now();var Ta=(a,b)=>{V[a]&&(clearTimeout(V[a].id),delete V[a]);if(!b)return 0;var d=setTimeout(()=>{p(a in V);delete V[a];Ra(()=>Sa(a,performance.now()))},b);V[a]={id:d,j:b};return 0};c.__setitimer_js=Ta;c.getHeapMax=()=>2147483648;var Ua=(a,b)=>{p(b,"alignment argument is required");return Math.ceil(a/b)*b};c.alignMemory=Ua;var Va=a=>{var b=w.buffer,d=(a-b.byteLength+65535)/65536|0;try{return w.grow(d),la(),1}catch(e){u(`growMemory: Attempted to grow heap from ${b.byteLength} bytes to ${a} bytes, but got error: ${e}`)}};c.growMemory=Va;var Wa=a=>{var b=A.length;a>>>=0;p(a>b);if(2147483648<a)return u(`Cannot enlarge memory, requested ${a} bytes, but the limit is ${2147483648} bytes!`),!1;for(var d=1;4>=d;d*=2){var e=b*(1+.2/d);e=Math.min(e,a+100663296);e=Math.min(2147483648,Ua(Math.max(a,e),65536));if(Va(e))return!0}u(`Failed to grow the heap from ${b} bytes to ${e} bytes, not enough memory!`);return!1};c._emscripten_resize_heap=Wa;c.SYSCALLS={l:void 0,i(a){return S(a)}};var Xa=()=>{l("fd_close called without SYSCALLS_REQUIRE_FILESYSTEM")};c._fd_close=Xa;var Ya=(a,b)=>{p(a==a>>>0||a==(a|0));p(b===(b|0));return b+2097152>>>0<4194305-!!a?(a>>>0)+4294967296*b:NaN};c.convertI32PairToI53Checked=Ya;function Za(a,b,d){Ya(b,d);return 70}c._fd_seek=Za;var X=[null,[],[]];c.printCharBuffers=X;var Y=(a,b)=>{var d=X[a];p(d);0===b||10===b?((1===a?r:u)(Ea(d)),d.length=0):d.push(b)};c.printChar=Y;var ab=()=>{$a(0);X[1].length&&Y(1,10);X[2].length&&Y(2,10)};c.flush_NO_FILESYSTEM=ab;var bb=(a,b,d,e)=>{for(var g=0,k=0;k<d;k++){var h=D[b>>2],q=D[b+4>>2];b+=8;for(var I=0;I<q;I++)Y(a,A[h+I]);g+=q}D[e>>2]=g;return 0};c._fd_write=bb;c.stackAlloc=a=>cb(a);var db=a=>{var b=c["_"+a];p(b,"Cannot call unknown function "+a+", make sure it is exported");return b};c.getCFunc=db;var eb=(a,b)=>{p(0<=a.length,"writeArrayToMemory array must have a length (should be an array or typed array)");z.set(a,b)};c.writeArrayToMemory=eb;var fb=a=>{for(var b=0,d=0;d<a.length;++d){var e=a.charCodeAt(d);127>=e?b++:2047>=e?b+=2:55296<=e&&57343>=e?(b+=4,++d):b+=3}return b};c.lengthBytesUTF8=fb;var gb=(a,b,d,e)=>{p("string"===typeof a,`stringToUTF8Array expects a string (got ${typeof a})`);if(!(0<e))return 0;var g=d;e=d+e-1;for(var k=0;k<a.length;++k){var h=a.charCodeAt(k);if(55296<=h&&57343>=h){var q=a.charCodeAt(++k);h=65536+((h&1023)<<10)|q&1023}if(127>=h){if(d>=e)break;b[d++]=h}else{if(2047>=h){if(d+1>=e)break;b[d++]=192|h>>6}else{if(65535>=h){if(d+2>=e)break;b[d++]=224|h>>12}else{if(d+3>=e)break;1114111<h&&R("Invalid Unicode code point "+F(h)+" encountered when serializing a JS string to a UTF-8 string in wasm memory! (Valid unicode code points should be in range 0-0x10FFFF).");b[d++]=240|h>>18;b[d++]=128|h>>12&63}b[d++]=128|h>>6&63}b[d++]=128|h&63}}b[d]=0;return d-g};c.stringToUTF8Array=gb;var hb=(a,b,d)=>{p("number"==typeof d,"stringToUTF8(str, outPtr, maxBytesToWrite) is missing the third parameter that specifies the length of the output buffer!");return gb(a,A,b,d)};c.stringToUTF8=hb;var ib=a=>{var b=fb(a)+1,d=cb(b);hb(a,d,b);return d};c.stringToUTF8OnStack=ib;var jb=(a,b,d,e)=>{var g={string:t=>{var P=0;null!==t&&void 0!==t&&0!==t&&(P=ib(t));return P},array:t=>{var P=cb(t.length);eb(t,P);return P}};a=db(a);var k=[],h=0;p("array"!==b,'Return type should not be "array".');if(e)for(var q=0;q<e.length;q++){var I=g[d[q]];I?(0===h&&(h=Ca()),k[q]=I(e[q])):k[q]=e[q]}d=a(...k);return d=function(t){0!==h&&Ba(h);return"string"===b?S(t):"boolean"===b?!!t:t}(d)};c.ccall=jb;c.cwrap=(a,b,d,e)=>function(){for(var _len=arguments.length,g=new Array(_len),_key=0;_key<_len;_key++){g[_key]=arguments[_key]}return jb(a,b,d,g,e)};c.intArrayFromString=function(a,b,d){d=Array(0<d?d:fb(a)+1);a=gb(a,d,0,d.length);b&&(d.length=a);return d};c.intArrayToString=function(a){for(var b=[],d=0;d<a.length;d++){var e=a[d];255<e&&(p(!1,`Character code ${e} (${String.fromCharCode(e)}) at offset ${d} not in 0x00-0xFF.`),e&=255);b.push(String.fromCharCode(e))}return b.join("")};c.AsciiToString=a=>{for(var b="";;){var d=A[a++];if(!d)return b;b+=String.fromCharCode(d)}};var kb="undefined"!=typeof TextDecoder?new TextDecoder("utf-16le"):void 0;c.UTF16Decoder=kb;c.UTF16ToString=(a,b)=>{p(0==a%2,"Pointer passed to UTF16ToString must be aligned to two bytes!");var d=a>>1;for(var e=d+b/2;!(d>=e)&&ia[d];)++d;d<<=1;if(32<d-a&&kb)return kb.decode(A.subarray(a,d));d="";for(e=0;!(e>=b/2);++e){var g=B[a+2*e>>1];if(0==g)break;d+=String.fromCharCode(g)}return d};c.stringToUTF16=(a,b,d)=>{p(0==b%2,"Pointer passed to stringToUTF16 must be aligned to two bytes!");p("number"==typeof d,"stringToUTF16(str, outPtr, maxBytesToWrite) is missing the third parameter that specifies the length of the output buffer!");d??(d=2147483647);if(2>d)return 0;d-=2;var e=b;d=d<2*a.length?d/2:a.length;for(var g=0;g<d;++g)B[b>>1]=a.charCodeAt(g),b+=2;B[b>>1]=0;return b-e};c.UTF32ToString=(a,b)=>{p(0==a%4,"Pointer passed to UTF32ToString must be aligned to four bytes!");for(var d=0,e="";!(d>=b/4);){var g=C[a+4*d>>2];if(0==g)break;++d;65536<=g?(g-=65536,e+=String.fromCharCode(55296|g>>10,56320|g&1023)):e+=String.fromCharCode(g)}return e};c.stringToUTF32=(a,b,d)=>{p(0==b%4,"Pointer passed to stringToUTF32 must be aligned to four bytes!");p("number"==typeof d,"stringToUTF32(str, outPtr, maxBytesToWrite) is missing the third parameter that specifies the length of the output buffer!");d??(d=2147483647);if(4>d)return 0;var e=b;d=e+d-4;for(var g=0;g<a.length;++g){var k=a.charCodeAt(g);if(55296<=k&&57343>=k){var h=a.charCodeAt(++g);k=65536+((k&1023)<<10)|h&1023}C[b>>2]=k;b+=4;if(b+4>d)break}C[b>>2]=0;return b-e};var lb={__assert_fail:Fa,__call_sighandler:Ga,__cxa_throw:Ka,_abort_js:La,_emscripten_runtime_keepalive_clear:Ma,_setitimer_js:Ta,emscripten_resize_heap:Wa,exit:W,fd_close:Xa,fd_seek:Za,fd_write:bb,proc_exit:Oa},M=function(){function a(d){var _c$monitorRunDependen2;M=d.exports;w=M.memory;p(w,"memory not found in wasm exports");la();T=M.__indirect_function_table;p(T,"table not found in wasm exports");qa.unshift(M.__wasm_call_ctors);G--;(_c$monitorRunDependen2=c.monitorRunDependencies)===null||_c$monitorRunDependen2===void 0||_c$monitorRunDependen2.call(c,G);p(J["wasm-instantiate"]);delete J["wasm-instantiate"];0==G&&(null!==K&&(clearInterval(K),K=null),H&&(d=H,H=null,d()));return M}ua();var b={env:lb,wasi_snapshot_preview1:lb};if(c.instantiateWasm)try{return c.instantiateWasm(b,a)}catch(d){u(`Module.instantiateWasm callback failed with error: ${d}`),f(d)}N??(N="data:application/octet-stream;base64,[encoded data, 91980 characters]");b=xa(b);return a(b[0])}();c._yo=L("yo",0);c._free=L("free",1);c._unyo=L("unyo",1);c._createTheSolver=L("createTheSolver",0);c._ensureVar=L("ensureVar",1);c._addClause=L("addClause",1);c._solve=L("solve",0);c._getSolution=L("getSolution",0);c._getNumVars=L("getNumVars",0);c._solveAssuming=L("solveAssuming",1);c._retireVar=L("retireVar",1);c._getConflictClauseSize=L("getConflictClauseSize",0);c._getConflictClause=L("getConflictClause",0);var $a=L("fflush",1);c._malloc=L("malloc",1);var Sa=L("_emscripten_timeout",2),mb=M.emscripten_stack_init,oa=M.emscripten_stack_get_end,Ba=M._emscripten_stack_restore,cb=M._emscripten_stack_alloc,Ca=M.emscripten_stack_get_current;c.dynCall_jiji=L("dynCall_jiji",5);var Z;H=function nb(){Z||ob();Z||(H=nb)};function ob(){function a(){if(!Z&&(Z=!0,c.calledRun=!0,!x)){var _c$onRuntimeInitializ;p(!sa);sa=!0;E();O(qa);aa(c);(_c$onRuntimeInitializ=c.onRuntimeInitialized)===null||_c$onRuntimeInitializ===void 0||_c$onRuntimeInitializ.call(c);p(!c._main,'compiled without a main, but one is present. if you added it from JS, use Module["onRuntimeInitialized"]');E();if(c.postRun)for("function"==typeof c.postRun&&(c.postRun=[c.postRun]);c.postRun.length;){var b=c.postRun.shift();ra.unshift(b)}O(ra)}}if(!(0<G)){mb();na();if(c.preRun)for("function"==typeof c.preRun&&(c.preRun=[c.preRun]);c.preRun.length;)ta();O(pa);0<G||(c.setStatus?(c.setStatus("Running..."),setTimeout(()=>{setTimeout(()=>c.setStatus(""),1);a()},1)):a(),E())}}function Pa(){var a=r,b=u,d=!1;r=u=()=>{d=!0};try{ab()}catch(e){}r=a;u=b;d&&(R("stdio streams had content in them that was not flushed. you should set EXIT_RUNTIME to 1 (see the Emscripten FAQ), or make sure to emit a newline when you printf etc."),R("(this may also be due to not including full filesystem support - try building with -sFORCE_FILESYSTEM)"))}if(c.preInit)for("function"==typeof c.preInit&&(c.preInit=[c.preInit]);0<c.preInit.length;)c.preInit.pop()();ob();moduleRtn=c;for(const a of Object.keys(c))a in moduleArg||Object.defineProperty(moduleArg,a,{configurable:!0,get(){l(`Access to module property ('${a}') is no longer possible via the module constructor argument; Instead, use the result of the module constructor.`)}});


  return moduleRtn;
}
);
})();
if (typeof exports === 'object' && typeof module === 'object') {
  module.exports = Module;
  // This default export looks redundant, but it allows TS to import this
  // commonjs style module.
  module.exports.default = Module;
} else if (typeof define === 'function' && define['amd'])
  define([], () => Module);
