satlog (cargo): A logger for SAT-like solvers
Keywords: log