[la.container] use delegating constructors
[la.solver.interface] update include path