remove unneeded subprocess poll calls
removed number of processes from each pool -- let it be set automatically
when duplicating clause, need to filter out '' in split stringto prevent error when calling int()
parellelize cnf duplicating
Merge remote-tracking branch 'vasu/cores' into slurp-dev
re-enable debug messages
fix incorrect comparison in check for trivial aut
pass in isTrans to prevent crashing
Merge branch 'cores' into slurp-dev
change order of next_ match to allow for negations
Merge remote-tracking branch 'vasu/cores' into slurp-dev
give friendly error message when trying to simulate with no simconfig defined
Merge branch 'development' into slurp-dev
allow compilation even without a simulation configuration
removed all occurrences of isTrans. should be ok to use [] to ffilter safeties, except for topo which is handled separately anyway.
function findCoresUnsat takes a list of conjuncts and a maxDepth and returns a subset of the conjuncts
check for trivial aut after compilation, not just during analysis (may severely slow things down for large auts)
Merge remote-tracking branch 'vasu/cores' into slurp-dev

Conflicts:
	src/lib/specCompiler.py
redundant loop in highlightCores
split LTL lines on tabs in addition to newlines. deals with initial condition being inline with disjunction over regions