../ Btor2Tools_20190110.patch 24-Jul-2006 01:21 480 CaDiCaL_20190730.patch 24-Jul-2006 01:21 6869 Lingeling_20190110.patch 24-Jul-2006 01:21 3429 PicoSAT_20190110.patch 24-Jul-2006 01:21 1502