Add CP-SAT to the list of solvers that can run unit tests#951
Open
vitor1001 wants to merge 1 commit intoMiniZinc:developfrom
Open
Add CP-SAT to the list of solvers that can run unit tests#951vitor1001 wants to merge 1 commit intoMiniZinc:developfrom
vitor1001 wants to merge 1 commit intoMiniZinc:developfrom
