Alexey Ignatiev

Hm, I don't see an obvious way to go here. Do you need any functionality of PySAT for that? If not, we could create something on PySAT's side to interface...

OK, sure.

Thanks for the comments, @kuldeepmeel and @msoos. Again, it would be great to see it working in Python and in PySAT. :) The same holds for CMS!

@msoos, any news on CMS + PySAT? :)

@mvcisback, sorry for the late response! I am not sure if this will ever happen. Unfortunately, I don't have time for this in any foreseeable future. I guess @msoos might...

@kuldeepmeel, regarding CMS, there is quite an extensive list of features required for full integration of CMS into PySAT, which I shared with @msoos in July 2020. As far as...

Hi @mvcisback, First and foremost, as PySAT is compiled on the fly when running `pip install`, we should make sure that CMS can be compiled with no dependencies to other...

Thanks, Mate! This is great news! Let me finish my semester-related stuff here and I will get back to PySAT afterwards. I will surely prioritise this!

My apologies, @msoos! I seem to be underdelivering on all my promises these days. I am happy to provide callable API to these external tools. But I will need to...

By the way, I tried to install the 3 tools you listed. I can install `pyapproxmc` and `pycryptosat` with ease with pip but for some reason `pyunigen` fails to compile...