replaces + with extend where possible
overzealous...
return liveness not nexted
return liveness not nexted
used Pool to make to_cnf calls in parellel
trying to pipe in stdin to picosat -- failed
piping in stdin to picosat fixed
invoke picomus separately for each goal -- freezes with pool.map but not just map
fixed parallelization of picomus calls
Merge remote-tracking branch 'vasu/cores' into slurp-dev

Conflicts:
	src/lib/specCompiler.py
report goals correctly in guilty-list