Sugar solves finite linear constraint satisfaction problems (CSP) and constraint optimization problems (COP) by encoding them to SAT.