Rano | Ranadeep

Yea. I know about this. The stitch is always at the middle of the picture. Since I don't have good algorithm to rotate correctly, I kept it like that.

~I am using `aarch64-linux-gnu-gcc`. I am getting this error,~ $ TARGET_CC=aarch64-linux-gnu-gcc TARGET_AR=aarch-linux-gnu-gcc-ar cargo build --release --target aarch64-apple-darwin ... aarch64-linux-gnu-gcc: error: unrecognized debug output level 'full' aarch64-linux-gnu-gcc: error: unrecognized command-line option...

~I get the same above error from `TARGET_CC=gcc TARGET_AR=ar cargo build --release --target x86_64-apple-darwin` which goes away when I use `TARGET_CC=clang`.~ ~Do I really have to use `clang` here?~

`TARGET_CC=clang TARGET_AR=llvm-ar cargo build --target=aarch64-apple-darwin` throws, ``` In file included from crypto/fipsmodule/aes/aes_nohw.c:15: In file included from include/GFp/aes.h:52: include/GFp/base.h:117:1: error: static_assert failed due to requirement 'sizeof(unsigned long) == sizeof(unsigned int)' "uintptr_t...

@sztomi I think you are right. `aarch64-linux-gnu-gcc` is not meant for `arm64-apple-darwin`. but [`clang` should have worked](https://clang.llvm.org/docs/CrossCompilation.html). So, my last comment is still related to cross-compiling for `arm64-apple-darwin` on `x86_64-linux-gnu`.

I am also in favor of a separate repo. The name is cool :smile:

@brotskydotcom I agree that, we should use the abstracted term `target` to stay platform agnostic. But probably, it makes sense to error-handle this following `Result` with a [`ss.create_collection(...)`](https://docs.rs/secret-service/2.0.1/secret_service/struct.SecretService.html#method.create_collection) call. https://github.com/hwchen/keyring-rs/blob/8b6a387f362740b054eaebd7c7e8a8dc4cfcd584/src/linux.rs#L13-L14...

Looks like hwchen/secret-service-rs#27 needs to be closed for this.

This is exactly what it should look like. This is more or less standard minisat api, except minisat offers satisfying assignment as models and also supports incremental solving. Along with...

I tried with `tightening_algorithm=interval_arithmetic` on a smaller CNN. That determining-bounds step is finished, but then it is stuck at solving. ``` [notice | MIPVerify]: Attempting to find adversarial example. Neural...