Papers and DFS-FIFO progress state option
Safety ignoring proviso
May-be coenabled addition to stubborn sets
Ample set

TODO: improve process detection
Fix safety proviso
Fix memory overflow in PINS connection to SpinS
Update HVC paper
Fix compilation warnings
Add print optional matrices
Fix llset install
Fix ample compilation warnings
Fix DFS problem with multi-proc
Fix similar load balancing + procs problem in OWCTY
Fix/document weak stubborn set relation
Fix POR heuristic search