Version 2.6, new encodings of 1-provability, other imporovements and fixes
Version 2.5
Version 2.4, pccompile split into three parts
Version 2.3, uses incremental solving capabilities of glucose, several new utilities
Version 2.2, reimplemented the learning algorithm