Mate Soos

The final configuration difference, comparing apples to apples (i.e. list to list): ``` setup CMS(old) list 0.280 0.286 0.301 0.305 0.311 setup CMS(new) list 0.571 0.574 0.589 0.595 0.597 ```...

Hey, do you know what's going on? There was quite a bit of work with the Windows build and everything but it all died down... I am just wondering what...

Hi, Let me know if I should keep this issue open :) I'm happy to, as I think you have made amazing progress on all stuff you touched. Just let...

By the way, I think I made CMS a ton faster, in case you are interested. You'd need to use the devel version, but frankly, I should release too. [TrevorHansen](https://github.com/TrevorHansen)...

Another option to consider is to run them as inprocessing rather than preprocessing ;) That would allow as to delay the processing to a later time, so it doesn't eat...

Hi, I tend to agree with @rgov here -- it's actually not clear where/how python module installation is supposed to happen. In fact, we have tons-and-tons of issues with e.g....

First of all, this is a valid issue. Second... this needs some love. The good thing is, I will work a week on STP starting 1st of December. I should...

Ah... I never got around to this... I had so many projects to work on. Do you think you could clone the repo and work a bit on cleaning it...

Hi, I think MiniSat can be build to make sure that the `l_False` etc are not `'#define`'s but instead are actual functions. Then this error doesn't exist, and `#define`'s don't...

This is easy with CMS -- only propagation and then getting what variables have been set. I'll give you an example today afternoon :) Mate On 23 Feb 2018 01:59,...