Hi.
My name is Manikandan and I'm a student at the University at Buffalo.
I need Sleipnir for one of my research project. I've successfully managed to install it on Linux but my professor wants me to install in Windows.
I tried using cygwin but the make always fails on BNConverter due to a segmentation fault. I've tried adding the Ldflags and Cxxflags but it doesn't work.
I'm wondering if you can send me the binaries for Sleipnir. It would help me a lot.Yours sincerely,
Manikandan Sundararajan