the packages cvc5,
libcvc5-dev, libcvc5-1 and libcvc5parser1.
Having the pythonic API would be even better, but not necessary.
Best regards,
Celelibi
-- System Information:
Debian Release: 12.0
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable-debug'), (500,
'testing-security
Source: cvc4
Version: 1.8-2
Severity: normal
Tags: upstream
Dear Maintainers,
It looks like the upstream CVC4 repository[1] is archived. Suggesting it
will no longer be maintained.
Is is, however succeeded by cvc5[2] which improves CVC4 in a number of
ways.
Best regards,
Celelibi
[1] https
in init cypari2.stack
ModuleNotFoundError: No module named 'cysignals'
Installing python3-cysignals-bare or python3-cysignals-pari fixes it.
Therefore, I would suggest adding a dependency to
'python3-cysignal-bare | python3-cysignals-pari'.
Best regards,
Celelibi
-- System Information:
Debi
ibiomp5.so without the flag RTLD_GLOBAL.
Best regards,
Celelibi
-- System Information:
Debian Release: bullseye/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 5.6.0-1-amd64 (SMP w/8 CPU cores)
Kernel t
is now the default
version.
There seem to be similar issues with the other dependencies.
Best regards,
Celelibi
-- System Information:
Debian Release: bullseye/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 5.5.0-1
which doesn't exist anymore.
Would it be possible to provide a package compiled against a newer
version?
Best regards,
Celelibi
-- System Information:
Debian Release: bullseye/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable')
Architecture: amd64 (x86_64