GitHub		https://github.com/arminbiere/cadical
Size		65.2M (65.1M (+108K))
Commits		3965 (3963 (+2))
Update Stats		0s ... 2m16s [Ø (last 10) 11s (11,10,11,10,10,12,9,11,11,11))]
Last Change		2026-01-08 15:36:20
Last Check		2026-01-08 15:36:02
Created		2022-07-24 13:36:04

Messages as of last check on 2026-01-08 15:36:02

Operation

Verifying url ...

Contact information

Mail to Andreas Kupries