| package | filename | size | different function |
|---|---|---|---|
| cvc5 | ./usr/share/doc/cvc5/AUTHORS | 2.1 KB | |
| libcvc5-dev | ./usr/share/doc/libcvc5-dev/AUTHORS | 2.1 KB | |
| libcvc5parser1 | ./usr/share/doc/libcvc5parser1/AUTHORS | 2.1 KB | |
| python3-cvc5 | ./usr/share/doc/python3-cvc5/AUTHORS | 2.1 KB | |
| libcvc5-1 | ./usr/share/doc/libcvc5-1/AUTHORS | 2.1 KB |