sc/sccomp/source/solver
