GitHub		https://github.com/arminbiere/cadical
Size		13.5M (12.7M (+796K))
Commits		4337 (4294 (+43))
Update Stats		0s ... 2m16s [Ø (last 10) 4s (3,3,3,5,4,4,5,5,7,6))]
Last Change		2026-03-26 21:47:15
Last Check		2026-03-26 21:46:55
Created		2022-07-24 13:36:04

Messages as of last check on 2026-03-26 21:46:55

Operation

Verifying url ...

Contact information

Mail to Andreas Kupries