@renju-note/quintet 0.0.0-dev

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2020 Renju Note
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,89 @@
+# quintet
+
+Renju mate solver compilable to WebAssembly
+
+## Run
+
+### VCF
+
+```
+% cargo run --release --example solve vcf 10 5 x \
+  H8,H7,F6,G7,I7,G9,G6,H6,F8,E8,F9,F7,E7,D6,H4,G5,J6,I5,J4,K5,J5,J3,J8,J7,I4,K4,K6,L7,L6,M6,I2,N7,L5,K7,M7,G4,I8,G8,K8,L8,D5,E4,F4,F3,H3,G2,E2,I10,J11,F11,G11,D9,E10,E12,F13,C10,B11,C12,D12
+    Finished release [optimized] target(s) in 0.00s
+     Running `target/release/examples/solve vcf 10 x H8,H7,F6,G7,I7,G9,G6,H6,F8,E8,F9,F7,E7,D6,H4,G5,J6,I5,J4,K5,J5,J3,J8,J7,I4,K4,K6,L7,L6,M6,I2,N7,L5,K7,M7,G4,I8,G8,K8,L8,D5,E4,F4,F3,H3,G2,E2,I10,J11,F11,G11,D9,E10,E12,F13,C10,B11,C12,D12`
+Kind: VCF
+MaxDepth: 10
+Player: White
+Board:
+15 . . . . . . . . . . . . . . .
+14 . . . . . . . . . . . . . . .
+13 . . . . . o . . . . . . . . .
+12 . . x o x . . . . . . . . . .
+11 . o . . . x o . . o . . . . .
+10 . . x . o . . . x . . . . . .
+ 9 . . . x . o x . . . . . . . .
+ 8 . . . . x o x o o o o x . . .
+ 7 . . . . o x x x o x x x o x .
+ 6 . . . x . o o x . o o o x . .
+ 5 . . . o . . x . x o x o . . .
+ 4 . . . . x o x o o o x . . . .
+ 3 . . . . . x . o . x . . . . .
+ 2 . . . . o . x . o . . . . . .
+ 1 . . . . . . . . . . . . . . .
+   A B C D E F G H I J K L M N O
+
+Solving...
+
+Elapsed: 45.041µs
+Depth: 8
+Solution: G1,G3,E6,H9,H5,I6,F5,E5,C8,D7,C11,C9,C14,C13,D13
+```
+
+### VCT
+
+```
+% cargo run --release --example solve vct_dfpns 255 3 x \
+  H8,I9,H7,J8,F8,H9,G9,H10,G11,F10,I10,G10,I8,J9,E10,K9,L9,G8,J10,K7,L6,K8,K6,L10,I7,J6,M9,I5,H4,F7,G6,E6,D5,F5,G4
+    Finished release [optimized] target(s) in 0.03s
+     Running `target/release/examples/solve vct_dfpn 255 x H8,I9,H7,J8,F8,H9,G9,H10,G11,F10,I10,G10,I8,J9,E10,K9,L9,G8,J10,K7,L6,K8,K6,L10,I7,J6,M9,I5,H4,F7,G6,E6,D5,F5,G4`
+Kind: VCTDFPN
+MaxDepth: 255
+Player: White
+Board:
+15 . . . . . . . . . . . . . . .
+14 . . . . . . . . . . . . . . .
+13 . . . . . . . . . . . . . . .
+12 . . . . . . . . . . . . . . .
+11 . . . . . . o . . . . . . . .
+10 . . . . o x x x o o . x . . .
+ 9 . . . . . . o x x x x o o . .
+ 8 . . . . . o x o o x x . . . .
+ 7 . . . . . x . o o . x . . . .
+ 6 . . . . x . o . . x o o . . .
+ 5 . . . o . x . . x . . . . . .
+ 4 . . . . . . o o . . . . . . .
+ 3 . . . . . . . . . . . . . . .
+ 2 . . . . . . . . . . . . . . .
+ 1 . . . . . . . . . . . . . . .
+   A B C D E F G H I J K L M N O
+
+Solving...
+
+Elapsed: 2.370459s
+Depth: 17
+Solution: K11,K10,N12,M11,N8,H5,H6,L8,J5,J7,M5,L4,M6,K5,N7,N5,M4,M7,J4,I6,F3,M8,M10,I12,J11,K3,K4,J3,O8,L5,M2,M3,N1
+```
+
+Original game: https://www.renju.net/media/games.php?gameid=92337
+
+## Release
+
+```
+# build
+$ wasm-pack build --scope renju-note
+
+# publish
+$ wasm-pack publish
+```
+
+See also: https://developer.mozilla.org/ja/docs/WebAssembly/Rust_to_wasm

package/package.json

@@ -0,0 +1,22 @@
+{
+  "name": "@renju-note/quintet",
+  "collaborators": [
+    "yubessy <yubessy0@gmail.com>"
+  ],
+  "description": "Renju mate solver compilable to WebAssemby",
+  "version": "0.0.0-dev",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/renju-note/quintet"
+  },
+  "files": [
+    "quintet_bg.wasm",
+    "quintet.js",
+    "quintet_bg.js",
+    "quintet.d.ts"
+  ],
+  "module": "quintet.js",
+  "types": "quintet.d.ts",
+  "sideEffects": false
+}

package/quintet.d.ts

@@ -0,0 +1,52 @@
+/* tslint:disable */
+/* eslint-disable */
+/**
+* @param {number} mode
+* @param {number} limit
+* @param {Uint8Array} blacks
+* @param {Uint8Array} whites
+* @param {boolean} black
+* @param {number} threat_limit
+* @returns {Uint8Array | undefined}
+*/
+export function solve(mode: number, limit: number, blacks: Uint8Array, whites: Uint8Array, black: boolean, threat_limit: number): Uint8Array | undefined;
+/**
+* @param {Uint8Array} blacks
+* @param {Uint8Array} whites
+* @param {boolean} black
+* @param {number} limit
+* @returns {Uint8Array | undefined}
+*/
+export function solve_vcf(blacks: Uint8Array, whites: Uint8Array, black: boolean, limit: number): Uint8Array | undefined;
+/**
+* @param {Uint8Array} blacks
+* @param {Uint8Array} whites
+* @param {boolean} black
+* @param {number} limit
+* @returns {Uint8Array | undefined}
+*/
+export function solve_vct(blacks: Uint8Array, whites: Uint8Array, black: boolean, limit: number): Uint8Array | undefined;
+/**
+* @param {Uint8Array} blacks
+* @param {Uint8Array} whites
+* @param {boolean} black
+* @param {number} limit
+* @returns {Uint8Array | undefined}
+*/
+export function solve_vct_dfpn(blacks: Uint8Array, whites: Uint8Array, black: boolean, limit: number): Uint8Array | undefined;
+/**
+* @param {number} x
+* @param {number} y
+* @returns {number}
+*/
+export function encode_xy(x: number, y: number): number;
+/**
+* @param {number} code
+* @returns {number}
+*/
+export function decode_x(code: number): number;
+/**
+* @param {number} code
+* @returns {number}
+*/
+export function decode_y(code: number): number;

package/quintet.js

@@ -0,0 +1,4 @@
+import * as wasm from "./quintet_bg.wasm";
+import { __wbg_set_wasm } from "./quintet_bg.js";
+__wbg_set_wasm(wasm);
+export * from "./quintet_bg.js";

package/quintet_bg.js

@@ -0,0 +1,179 @@
+let wasm;
+export function __wbg_set_wasm(val) {
+    wasm = val;
+}
+
+
+let cachedUint8Memory0 = null;
+
+function getUint8Memory0() {
+    if (cachedUint8Memory0 === null || cachedUint8Memory0.byteLength === 0) {
+        cachedUint8Memory0 = new Uint8Array(wasm.memory.buffer);
+    }
+    return cachedUint8Memory0;
+}
+
+let WASM_VECTOR_LEN = 0;
+
+function passArray8ToWasm0(arg, malloc) {
+    const ptr = malloc(arg.length * 1, 1) >>> 0;
+    getUint8Memory0().set(arg, ptr / 1);
+    WASM_VECTOR_LEN = arg.length;
+    return ptr;
+}
+
+let cachedInt32Memory0 = null;
+
+function getInt32Memory0() {
+    if (cachedInt32Memory0 === null || cachedInt32Memory0.byteLength === 0) {
+        cachedInt32Memory0 = new Int32Array(wasm.memory.buffer);
+    }
+    return cachedInt32Memory0;
+}
+
+function getArrayU8FromWasm0(ptr, len) {
+    ptr = ptr >>> 0;
+    return getUint8Memory0().subarray(ptr / 1, ptr / 1 + len);
+}
+/**
+* @param {number} mode
+* @param {number} limit
+* @param {Uint8Array} blacks
+* @param {Uint8Array} whites
+* @param {boolean} black
+* @param {number} threat_limit
+* @returns {Uint8Array | undefined}
+*/
+export function solve(mode, limit, blacks, whites, black, threat_limit) {
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passArray8ToWasm0(blacks, wasm.__wbindgen_malloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passArray8ToWasm0(whites, wasm.__wbindgen_malloc);
+        const len1 = WASM_VECTOR_LEN;
+        wasm.solve(retptr, mode, limit, ptr0, len0, ptr1, len1, black, threat_limit);
+        var r0 = getInt32Memory0()[retptr / 4 + 0];
+        var r1 = getInt32Memory0()[retptr / 4 + 1];
+        let v3;
+        if (r0 !== 0) {
+            v3 = getArrayU8FromWasm0(r0, r1).slice();
+            wasm.__wbindgen_free(r0, r1 * 1, 1);
+        }
+        return v3;
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+    }
+}
+
+/**
+* @param {Uint8Array} blacks
+* @param {Uint8Array} whites
+* @param {boolean} black
+* @param {number} limit
+* @returns {Uint8Array | undefined}
+*/
+export function solve_vcf(blacks, whites, black, limit) {
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passArray8ToWasm0(blacks, wasm.__wbindgen_malloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passArray8ToWasm0(whites, wasm.__wbindgen_malloc);
+        const len1 = WASM_VECTOR_LEN;
+        wasm.solve_vcf(retptr, ptr0, len0, ptr1, len1, black, limit);
+        var r0 = getInt32Memory0()[retptr / 4 + 0];
+        var r1 = getInt32Memory0()[retptr / 4 + 1];
+        let v3;
+        if (r0 !== 0) {
+            v3 = getArrayU8FromWasm0(r0, r1).slice();
+            wasm.__wbindgen_free(r0, r1 * 1, 1);
+        }
+        return v3;
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+    }
+}
+
+/**
+* @param {Uint8Array} blacks
+* @param {Uint8Array} whites
+* @param {boolean} black
+* @param {number} limit
+* @returns {Uint8Array | undefined}
+*/
+export function solve_vct(blacks, whites, black, limit) {
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passArray8ToWasm0(blacks, wasm.__wbindgen_malloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passArray8ToWasm0(whites, wasm.__wbindgen_malloc);
+        const len1 = WASM_VECTOR_LEN;
+        wasm.solve_vct(retptr, ptr0, len0, ptr1, len1, black, limit);
+        var r0 = getInt32Memory0()[retptr / 4 + 0];
+        var r1 = getInt32Memory0()[retptr / 4 + 1];
+        let v3;
+        if (r0 !== 0) {
+            v3 = getArrayU8FromWasm0(r0, r1).slice();
+            wasm.__wbindgen_free(r0, r1 * 1, 1);
+        }
+        return v3;
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+    }
+}
+
+/**
+* @param {Uint8Array} blacks
+* @param {Uint8Array} whites
+* @param {boolean} black
+* @param {number} limit
+* @returns {Uint8Array | undefined}
+*/
+export function solve_vct_dfpn(blacks, whites, black, limit) {
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passArray8ToWasm0(blacks, wasm.__wbindgen_malloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passArray8ToWasm0(whites, wasm.__wbindgen_malloc);
+        const len1 = WASM_VECTOR_LEN;
+        wasm.solve_vct_dfpn(retptr, ptr0, len0, ptr1, len1, black, limit);
+        var r0 = getInt32Memory0()[retptr / 4 + 0];
+        var r1 = getInt32Memory0()[retptr / 4 + 1];
+        let v3;
+        if (r0 !== 0) {
+            v3 = getArrayU8FromWasm0(r0, r1).slice();
+            wasm.__wbindgen_free(r0, r1 * 1, 1);
+        }
+        return v3;
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+    }
+}
+
+/**
+* @param {number} x
+* @param {number} y
+* @returns {number}
+*/
+export function encode_xy(x, y) {
+    const ret = wasm.encode_xy(x, y);
+    return ret;
+}
+
+/**
+* @param {number} code
+* @returns {number}
+*/
+export function decode_x(code) {
+    const ret = wasm.decode_x(code);
+    return ret;
+}
+
+/**
+* @param {number} code
+* @returns {number}
+*/
+export function decode_y(code) {
+    const ret = wasm.decode_y(code);
+    return ret;
+}
+