M

metasat

Framework for distributing complex SAT problems amongst different solvers