Mate Soos
Mate Soos
OK, I had a go at it. Honestly, I am not prepared to support Windows -- it's a wonky OS with weird behaviour that few, if any, use. Hence, I...
Hi, I'm on vacation :) I'll get back to this in 10 days. It should be pretty easy to integrate. I wanted to do CMS too, sorry for the delay,...
Hi, After quite a bit of work, I finally managed to make pycryptosat, pyapproxmc, and pyunigen all work, with PyPi, building wheels, etc. It can just be compiled with `python...
Thanks a lot! Would be nice :) Looking forward!
@alexeyignatiev Hey! About half a year has passed :) Would you be available now-ish? Would be nice to integrate AppMC into PySAT! Also, we should get Arjun in there :)...
Hi, Okay, thanks! I'll try to check what I can do, I'm pushing a new version now, I'll let you know how it goes. In the meanwhile, we can try...
Hey @alexeyignatiev , Can you please check if `pyunigen` installs for you now? Regarding integration of `pyapproxmc`, what tips can you give me where to start? I don't want to...
Hi, I see. Let's concentrate on pyapproxmc then! Can you please tell me where we can start? Thanks, Mate
Oh, okay, I'll try to see how to do that, python is a bit foreign to me :) I'll let you know if and when I get stuck :) In...
Hi All, @ltentrup Thanks for using CMS! I'm glad it helped! @vale1410 Thanks! I will debug the difference, it should be easy with such huge differences (e.g. timeout vs 250s)....