setStdin

abstract fun setStdin(content: String)

Sets the content of the solver's standard input channel, consumed by input-reading built-ins (e.g. read/1).