Basic translation tool for Skolem functions expressed in the SMTLIB 2.0 format to C/Lustre implementations.
For nondeterministic skolems, use option -rngvalues. All other options are experimental, and as such there are no guarantees regarding their functionality at any given time.