yasmin SAT/ASP solver on Multi-GPU systems Features and Road Map API Heuristics for literal assignments Multi-GPU support Contributors References Installation