Package	cadical-devel-static
Version	2.1.3-r0
Description	SAT solver (development files) (static libraries)
Project	https://fmv.jku.at/cadical
License	MIT
Repository	user
Architecture	ppc64
Size	7420035
Installed size	18472960
Origin	cadical
Depends	Depends (1) cadical-devel
Install if	Install if (2) base-devel-static cadical-devel=2.1.3-r0
Subpackages	Subpackages (5) cadical cadical-dbg cadical-devel cadical-devel-static cadical-doc
Build time	2025-08-10 17:24:28
Commit	f394e0e3122939ff7d1896e2141735993b547bc5
Git repository	Git repository
Build log	Build log
Contents	Contents of package