GitHub repository: phuongnguyen143/mallob
Description: Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.