Package Details: bitwuzla 0.5.0-2

Git Clone URL: https://aur.archlinux.org/bitwuzla.git (read-only, click to copy)
Package Base: bitwuzla
Description: SMT solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations
Upstream URL: https://bitwuzla.github.io
Licenses: MIT
Provides: libbitwuzla.so, libbitwuzlabb.so, libbitwuzlabv.so, libbitwuzlals.so
Submitter: meadow
Maintainer: meadow
Last Packager: meadow
Votes: 0
Popularity: 0.000000
First Submitted: 2024-03-30 17:19 (UTC)
Last Updated: 2024-06-19 20:27 (UTC)