mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-18 00:10:04 +00:00
Code Issues Releases Activity
27252239e7
freebsd-ports/math/bitwuzla
History
Yuri Victorovich 8a303fe89d math/bitwuzla: New port: SMT solver for the theories of fixed-size bit-vectors
2024-06-06 01:48:58 -07:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist