Starting improved path compression
Merge remote-tracking branch 'upstream/develop' into path-comp
Merge remote-tracking branch 'upstream/develop' into path-comp
Remove Config module, conflict building toplevel
Lazily add compression formula
Removed references to config.ml
Statistics for compression
Bugfixes to compression

- Revert change to map of terms
- Accept constant state variables
Deal with constant state variables
Reverse simulation with same predecessors
Bugfix: reset list of state pairs on next k
Output numbers not as S-expressions in XML
Output property status only once
Merge pull request #117 from chsticksel/develop

XML output fixes

Closes #115, closes #114
Merge pull request #110 from magicpt100/master

Update to develop branch
Switch QE algorithm in PDR for real variables
Kill all child processes after timeout
Switch off approximate QE for non-linear terms
Kill child processes after timeout without waiting
Output processes that were killed on exit