Fun-SAT [code]

An open-source SAT-based attack tool against sequential logic locking of integrated circuits.