Axel Kemper
SM2 are algorithms for digital signature published in China [https://tools.ietf.org/html/draft-shen-sm2-ecdsa-02](https://tools.ietf.org/html/draft-shen-sm2-ecdsa-02)
The returned hash of an empty string is 0. Why is this a problem for you?
To write the whole hashmap to a file, you'd have to write your own serialization code. You could rewrite hashmap_iterate() to do that. The current version of hashmap_iterate() calls a...
On my system (Windows 10, MiniZinc 2.8.3), SCIP 7.0.0 yields "UNSATISFIABLE" for `-O0` and finds a solution for `-O1` and `-O2`. CPLEX 12.10.0.0 finds solutions for all optimization levels within...
This is what I get with v1.5.5 64-bit under Windows 10: ``` c:\xxx\zzz>dir /b vögel.txt c:\xxx\zzz>zstd *.* v÷gel.txt :262.50% ( 8 B => 21 B, v÷gel.txt.zst) c:\xxx\zzz>dir /b vögel.txt vögel.txt.zst...
In my example, the file `vögel.txt.zst` was created correctly. But the text output to show the progress is not correct. Therefore, I figure that the `fopen()` call is ok.
There might be a problem with your search path. Or some dynamic link libararies (DLL) might be missing or hidden. You could try a dependency checker like [https://github.com/lucasg/Dependencies](https://github.com/lucasg/Dependencies) to find...
There are in fact recursive function calls in the model. Example: ``` function var bool: IsOnMainDiagonalEdge(N: row, N: col, var N: aRow, var N: aCol, var N: bRow, var N:...
I can reproduce the problem with this recursive example: ``` function var int: factorial(var int: x) = if x < 2 then 1 else x * factorial(x - 1) endif;...