A diabolic implementation of mcSAT 😈 - View it on GitHub