Added support for nondeterministic synthesis

Added option to enable nondeterministic synthesis, as well as options for compact and all-inclusive solutions.