package info
(click to toggle)
z3 4.13.3-1
- links:
PTS,
VCS
- area: main
- in suites: forky, sid, trixie
- size: 33,364 kB
- sloc:
cpp: 501,803;
python: 16,788;
cs: 10,567;
java: 9,687;
ml: 3,282;
ansic: 2,531;
sh: 162;
javascript: 37;
makefile: 32
Folder: docker
