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

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

2.5 Version 2.5

0016d27f · Fallback version update · Sep 07, 2021

Download source code

zip tar.gz tar.bz2 tar
2.4 Version 2.4, pccompile split into three parts

19a9ee5f · fallback version update · Sep 22, 2020

Download source code

zip tar.gz tar.bz2 tar
2.3 Version 2.3, uses incremental solving capabilities of glucose, several new utilities

2cae6f92 · Readme fixes · Jun 24, 2020

Release 2.3

Download source code

zip tar.gz tar.bz2 tar
2.2 Version 2.2, reimplemented the learning algorithm

8956b124 · log output level changes · Mar 27, 2020

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
2.0

223e6554 · pccompile2 -- updated to use compilers derived from AbsComp. · Jan 31, 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