polyopt-systemc