MODEL = disjoint.smv

all:
	NuRV -source synthesis.cmd $(MODEL)
