/mallob

Malleable Load Balancer. Multitasking Agile Logic Blackbox. Award-winning SAT solving for the cloud.

Primary LanguageC++GNU Lesser General Public License v3.0LGPL-3.0

Stargazers

No one’s star this repository yet.