kissat (cargo): A simple wrapper for the Kissat SAT solver
Keywords: sat