Tags · Kučera Petr RNDr. Ph.D. / PCCompile · GitLab

Tags give the ability to mark specific points in history as being important

2.6

d3afea42 · Fallback version update · Dec 03, 2021
```
Version 2.6, new encodings of 1-provability, other imporovements and fixes
```
Download source code

zip tar.gz tar.bz2 tar
2.5

0016d27f · Fallback version update · Sep 07, 2021
```
Version 2.5
```
Download source code

zip tar.gz tar.bz2 tar
2.4

19a9ee5f · fallback version update · Sep 22, 2020
```
Version 2.4, pccompile split into three parts
```
Download source code

zip tar.gz tar.bz2 tar
2.3

2cae6f92 · Readme fixes · Jun 24, 2020

Release 2.3
```
Version 2.3, uses incremental solving capabilities of glucose, several new utilities
```
Download source code

zip tar.gz tar.bz2 tar
2.2

8956b124 · log output level changes · Mar 27, 2020
```
Version 2.2, reimplemented the learning algorithm
```
Download source code

zip tar.gz tar.bz2 tar
2.1

65d4bb9b · New program cnfequal for checking if two cnf formulas are equivalent. · May 02, 2018

Download source code

zip tar.gz tar.bz2 tar
0.1

4e2a432e · Initial commit · Nov 22, 2016

Download source code

zip tar.gz tar.bz2 tar
2.0

223e6554 · pccompile2 -- updated to use compilers derived from AbsComp. · Jan 31, 2018

Download source code

zip tar.gz tar.bz2 tar