Package	cadical
Version	2.1.3-r0
Description	SAT solver
Project	https://fmv.jku.at/cadical
License	MIT
Repository	user
Architecture	aarch64
Size	441676
Installed size	1593344
Origin	cadical
Depends	Depends (4) so:libc++.so.1 so:libc++abi.so.1 so:libc.so so:libunwind.so.1
Required by	Required by (1) cadical-dbg
Provides	Provides (2) cmd:cadical=2.1.3-r0 cmd:mobical=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