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