Python wrapper to pass logic to CaDiCaL through memory - View it on GitHub