objective
CSP
ONE
copris
options
AbstractSolver CoprisTrait
Or
copris
out
SatSolverLogger
outFileName
Solver
output
CSP