A research platform and active library for generalised SAT solving