Filip Sobalski

Seconded. I would go even further, allow job configuration without annotations.

I made a PoC that integrates slightly modified MiniSat via FFI. It does not take policies into account though. I've made it almost work correctly for the default case where...

BTW I think FFI is the way to go here. If php < 7.4 or no bundled binary is supported then it can always fall back to internal solver. The...

I've looked at MiniSat deeper and it seems I've approached it the wrong way. It's meant to be customized and provides mechanisms to do that (as stated in the [paper](http://minisat.se/downloads/MiniSat.pdf))....

Thanks for the reply! > However, IMO the more portable way still is to rely on standard formats (like DIMACS, as mentioned, or [SMT-LIB](http://smtlib.cs.uiowa.edu/)) as intermediate step. According to my...

> > The perf difference is similar to what OP reported. I am even more interested in the memory usage decrease because we have projects which regularly require 1-3G for...

@Seldaek I've ran some comparison tests between v2 and my current PoC on one of the prolematic projects. Composer v2 wins hands-down! I made an error - my initial numbers...

> Also.. you mentioned you are still stuck on Composer 1 due to plugins, which are these? Anything we can do to help nudge things forward? This should be a...

I've used the facebook rpm backports packages to update systemd on my CentOS 7 VPS. The system failed too boot while switching root from initrd (`initrd-switch-root.service` failed). As I can...

I love the idea as it would allow to avoid having to provision client nodes' trust store with the private CA certificates. This is very convenient as this setup (and...