cpsat-js 0.1.0-beta.0

package/dist/solver/cp-solver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cp-solver.d.ts","sourceRoot":"","sources":["../../src/solver/cp-solver.ts"],"names":[],"mappings":"AACA,OAAO,EAGL,cAAc,EACd,KAAK,gBAAgB,EACtB,MAAM,6BAA6B,CAAC;AAIrC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAElD,OAAO,EAAE,cAAc,EAAE,CAAC;AAE1B,MAAM,WAAW,eAAe;IAC9B,+CAA+C;IAC/C,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;CACvC;AAED,MAAM,WAAW,YAAY;IAC3B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,cAAc,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,kDAAkD;IAClD,KAAK,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC;IAChC,yBAAyB;IACzB,QAAQ,EAAE,gBAAgB,CAAC;CAC5B;AAWD;;;;;;GAMG;AACH,qBAAa,QAAQ;IACnB,OAAO,CAAC,MAAM,CAAc;IAE5B,OAAO;WAIM,MAAM,CAAC,OAAO,CAAC,EAAE,eAAe,GAAG,OAAO,CAAC,QAAQ,CAAC;IAOjE,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,YAAY,GAAG,cAAc;CAuD7D"}

package/dist/solver/cp-solver.js

@@ -0,0 +1,92 @@
+import { create, toBinary, fromBinary } from '@bufbuild/protobuf';
+import { CpModelProtoSchema, CpSolverResponseSchema, CpSolverStatus, } from '../generated/cp_model_pb.js';
+import { SatParametersSchema, } from '../generated/sat_parameters_pb.js';
+export { CpSolverStatus };
+/**
+ * Loads the WASM module and solves CP-SAT models.
+ *
+ * Usage:
+ *   const solver = await CpSolver.create();
+ *   const result = solver.solve(model);
+ */
+export class CpSolver {
+    module;
+    constructor(module) {
+        this.module = module;
+    }
+    static async create(options) {
+        // Dynamic import of the Emscripten-generated JS glue
+        const createModule = await loadWasmFactory(options?.locateFile);
+        const module = await createModule();
+        return new CpSolver(module);
+    }
+    solve(model, params) {
+        const modelProto = model.toProto();
+        const modelBytes = toBinary(CpModelProtoSchema, modelProto);
+        const satParams = create(SatParametersSchema, {});
+        // Force single worker for WASM (no threading support in MVP)
+        satParams.numWorkers = 1;
+        if (params?.maxTimeInSeconds !== undefined) {
+            satParams.maxTimeInSeconds = params.maxTimeInSeconds;
+        }
+        if (params?.numWorkers !== undefined) {
+            satParams.numWorkers = params.numWorkers;
+        }
+        const paramsBytes = toBinary(SatParametersSchema, satParams);
+        // Allocate WASM heap memory for model
+        const modelPtr = this.module._malloc(modelBytes.length);
+        this.module.HEAPU8.set(modelBytes, modelPtr);
+        // Allocate WASM heap memory for params
+        const paramsPtr = this.module._malloc(paramsBytes.length);
+        this.module.HEAPU8.set(paramsBytes, paramsPtr);
+        let resultLen;
+        try {
+            resultLen = this.module._solve(modelPtr, modelBytes.length, paramsPtr, paramsBytes.length);
+        }
+        finally {
+            this.module._free(modelPtr);
+            this.module._free(paramsPtr);
+        }
+        // Read result from WASM memory
+        const resultPtr = this.module._get_result_ptr();
+        const resultBytes = new Uint8Array(this.module.HEAPU8.buffer, resultPtr, resultLen);
+        // Copy before freeing
+        const resultCopy = new Uint8Array(resultBytes);
+        this.module._free_result();
+        const response = fromBinary(CpSolverResponseSchema, resultCopy);
+        return {
+            status: response.status,
+            objectiveValue: response.objectiveValue,
+            bestObjectiveBound: response.bestObjectiveBound,
+            wallTime: response.wallTime,
+            value(variable) {
+                return Number(response.solution[variable.index]);
+            },
+            response,
+        };
+    }
+}
+async function loadWasmFactory(locateFile) {
+    try {
+        // Emscripten outputs CommonJS; use createRequire in ESM context
+        const { createRequire } = await import('node:module');
+        const { fileURLToPath } = await import('node:url');
+        const { dirname, join } = await import('node:path');
+        const __filename = fileURLToPath(import.meta.url);
+        const __dirname = dirname(__filename);
+        const require = createRequire(import.meta.url);
+        const factory = require(join(__dirname, '..', '..', 'build', 'cpsat.cjs'));
+        if (typeof factory !== 'function') {
+            throw new Error('WASM module did not export a factory function');
+        }
+        if (locateFile) {
+            return () => factory({ locateFile });
+        }
+        return factory;
+    }
+    catch (err) {
+        throw new Error('Failed to load cpsat.wasm. Ensure the WASM build has been completed. ' +
+            `Run \`npm run build:wasm\` to compile the WASM binary. (${err})`);
+    }
+}
+//# sourceMappingURL=cp-solver.js.map

package/dist/solver/cp-solver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cp-solver.js","sourceRoot":"","sources":["../../src/solver/cp-solver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAClE,OAAO,EACL,kBAAkB,EAClB,sBAAsB,EACtB,cAAc,GAEf,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,mBAAmB,GACpB,MAAM,mCAAmC,CAAC;AAI3C,OAAO,EAAE,cAAc,EAAE,CAAC;AAgC1B;;;;;;GAMG;AACH,MAAM,OAAO,QAAQ;IACX,MAAM,CAAc;IAE5B,YAAoB,MAAmB;QACrC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAyB;QAC3C,qDAAqD;QACrD,MAAM,YAAY,GAAG,MAAM,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAChE,MAAM,MAAM,GAAG,MAAM,YAAY,EAAiB,CAAC;QACnD,OAAO,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IAED,KAAK,CAAC,KAAc,EAAE,MAAqB;QACzC,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,QAAQ,CAAC,kBAAkB,EAAE,UAAU,CAAC,CAAC;QAE5D,MAAM,SAAS,GAAG,MAAM,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;QAClD,6DAA6D;QAC7D,SAAS,CAAC,UAAU,GAAG,CAAC,CAAC;QACzB,IAAI,MAAM,EAAE,gBAAgB,KAAK,SAAS,EAAE,CAAC;YAC3C,SAAS,CAAC,gBAAgB,GAAG,MAAM,CAAC,gBAAgB,CAAC;QACvD,CAAC;QACD,IAAI,MAAM,EAAE,UAAU,KAAK,SAAS,EAAE,CAAC;YACrC,SAAS,CAAC,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;QAC3C,CAAC;QACD,MAAM,WAAW,GAAG,QAAQ,CAAC,mBAAmB,EAAE,SAAS,CAAC,CAAC;QAE7D,sCAAsC;QACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACxD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAE7C,uCAAuC;QACvC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;QAE/C,IAAI,SAAiB,CAAC;QACtB,IAAI,CAAC;YACH,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;QAC7F,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC5B,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC/B,CAAC;QAED,+BAA+B;QAC/B,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,eAAe,EAAE,CAAC;QAChD,MAAM,WAAW,GAAG,IAAI,UAAU,CAChC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EACzB,SAAS,EACT,SAAS,CACV,CAAC;QACF,sBAAsB;QACtB,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,WAAW,CAAC,CAAC;QAC/C,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC;QAE3B,MAAM,QAAQ,GAAG,UAAU,CAAC,sBAAsB,EAAE,UAAU,CAAC,CAAC;QAEhE,OAAO;YACL,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,cAAc,EAAE,QAAQ,CAAC,cAAc;YACvC,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;YAC/C,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,KAAK,CAAC,QAAgB;gBACpB,OAAO,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YACnD,CAAC;YACD,QAAQ;SACT,CAAC;IACJ,CAAC;CACF;AAED,KAAK,UAAU,eAAe,CAC5B,UAAqC;IAErC,IAAI,CAAC;QACH,gEAAgE;QAChE,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,MAAM,CAAC,aAAa,CAAC,CAAC;QACtD,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,MAAM,CAAC,UAAU,CAAC,CAAC;QACnD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,CAAC;QACpD,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/C,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;QAC3E,IAAI,OAAO,OAAO,KAAK,UAAU,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,UAAU,EAAE,CAAC;YACf,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC;QACvC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CACb,uEAAuE;YACvE,2DAA2D,GAAG,GAAG,CAClE,CAAC;IACJ,CAAC;AACH,CAAC"}

package/package.json

@@ -0,0 +1,58 @@
+{
+  "name": "cpsat-js",
+  "version": "0.1.0-beta.0",
+  "description": "WebAssembly port of Google OR-Tools CP-SAT constraint programming solver",
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    },
+    "./cpsat.wasm": "./build/cpsat.wasm"
+  },
+  "files": [
+    "dist/",
+    "build/cpsat.cjs",
+    "build/cpsat.wasm"
+  ],
+  "scripts": {
+    "build:wasm": "./build.sh",
+    "build:proto": "npx buf generate src/proto",
+    "build:ts": "tsc",
+    "build": "npm run build:proto && npm run build:ts",
+    "test": "vitest run",
+    "test:unit": "vitest run test/unit",
+    "test:integration": "vitest run test/integration"
+  },
+  "keywords": [
+    "or-tools",
+    "cp-sat",
+    "constraint-programming",
+    "optimization",
+    "solver",
+    "wasm",
+    "webassembly"
+  ],
+  "author": "owen-lacey",
+  "license": "Apache-2.0",
+  "repository": {
+    "type": "git",
+    "url": "git+ssh://git@github.com/owen-lacey/ortools-wasm.git"
+  },
+  "homepage": "https://github.com/owen-lacey/ortools-wasm#readme",
+  "bugs": {
+    "url": "https://github.com/owen-lacey/ortools-wasm/issues"
+  },
+  "dependencies": {
+    "@bufbuild/protobuf": "^2.0.0"
+  },
+  "devDependencies": {
+    "@bufbuild/buf": "^1.47.0",
+    "@bufbuild/protoc-gen-es": "^2.0.0",
+    "@types/node": "^25.6.0",
+    "typescript": "^5.6.0",
+    "vitest": "^3.0.0"
+  }
+}