Spacer (Constrained Horn Clauses Solver used by SeaHorn) - View it on GitHub