GitHub		https://github.com/arminbiere/cadical
Size		14.8M (13.9M (+1016K))
Commits		4396 (4343 (+53))
Update Stats		0s ... 2m16s [Ø (last 10) 5s (3,5,4,4,5,5,7,6,6,7))]
Last Change		2026-04-19 13:47:04
Last Check		2026-04-19 13:46:44
Created		2022-07-24 13:36:04

Messages as of last check on 2026-04-19 13:46:44

Operation

Verifying url ...

Contact information

Mail to Andreas Kupries