domschrei / mallob

Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
65Updated this week

Alternatives and similar repositories for mallob:

Users that are interested in mallob are comparing it to the libraries listed below