wtmjepsen / mallob Goto Github PK
View Code? Open in Web Editor NEWThis project forked from domschrei/mallob
Malleable Load Balancer. Multitasking Agile Logic Blackbox. Award-winning SAT solving for the cloud.
License: GNU Lesser General Public License v3.0