Masahiro Sakai

Thank you for reporting and sorry for the late reply. As you guessed, the problem is due to numerical error of floating point numbers. After introducing a mixed integer Gomory...

Thank you for your comment. Here's my implementation of cylindrical algebraic decomposition. https://github.com/msakai/toysolver/blob/71c5d068d9c2f80e1cb9735a4c3f799ee0422da4/src/Algorithm/CAD.hs It only provides quantifier elimination (or projection) procedure for conjunction of polynomial constraints. But it is easy...

The problem is already fixed on the `master` branch (#69). I'll release a new version to Hackage.

I just released a new version `0.8.0` to Hackage.

> Construction of variable_profile_table reqires all nodes are known to menoh. It is a restriction of current implementation, but I think the restriction is not essential. `menoh_build_variable_profile_table` can compute information...

Yes. It is desirable when `ENABLE_MKLDNN` flag is added to master. If it takes more time for `tensorrt` branch to be mature enough for merging, how about cherry-picking `ENABLE_MKLDNN` feature...

@durswd, do you have any idea?

This ended up with the following error: ``` $ cmake .. -DBUILD_SHARED_LIBS=OFF -DENABLE_TEST=OFF -DENABLE_EXAMPLE=ON -- The C compiler identification is AppleClang 10.0.0.10001044 -- The CXX compiler identification is AppleClang 10.0.0.10001044...

+1 for `Transpose` to run [super resolution example of MXNet](https://github.com/onnx/tutorials/blob/master/tutorials/OnnxMxnetImport.ipynb).

I want following operators to run [chainer-chemistry implementation of GGNN](https://github.com/pfnet-research/chainer-chemistry/blob/v0.4.0/chainer_chemistry/models/ggnn.py). * `Gather` operator and `int32` tensors (c.f. #41) * The use of them can be avoided if we input one-hot...