PDRplan version 1.2
-------------------

- with -r 1 now encodes (translates via -t 1 or 2) the dual problem and with -v 1 (default) will also add invariants into the encoding
- translate (-t 1/2) in forward (-r 0) still computes forward invariant, if asked for it via -v 1
- encodes a hint about the decision variables

- postprocessing plans by Action Elimination (-x 1, on by default)

- new star-printing verbose mode (-h 2)

- inductive minimization inside extend (-m 2 and -m 3), m=3 is the default

- keeping track of least_affected_layer to speedup propagation by avoiding checks that were tried before
- corrected a semi-bug related to clause propagation where survive would be skipping phases whenever the initial state did not statisfy the layers
- clause propagation is on by default (-c 2)

- extend no longer support returning more than one learned clause
- removed the flag for multiple extensions and simplified the code accordingly
- noop_from_current is now the only possibility for ensuring monotonicity (the flag was removed)
- resolved compiler issues (see makefile)
- sidestepping made compatible with queue-like obligation picking
- removed the experimental features: obl_subsumption=2 and obl_survive=2 to simplify the above change

Conflicts:
	Main.cpp