btor2tools (math/btor2tools) Updated: 1 year ago Add to my watchlist

a generic parser and tools for the BTOR2 format

The Btor2Tools package provides a generic parser and tools for the BTOR2 format.

Version: 20230816 License: MIT

GitHub

Maintainers	No Maintainer
Categories	science math
Homepage	https://github.com/Boolector/btor2tools
Platforms	darwin
Variants	debug (Enable debug binaries) universal (Build for multiple architectures)

"btor2tools" depends on

build (2)

clang-16

cmake

Ports that depend on "btor2tools"

lib (1)

boolector

Port Health:

Loading Port Health

Installations (30 days)

0

Requested Installations (30 days)

0

Livecheck error

Error: livecheck failed for btor2tools: extracted version 'a1bb693253c6d2e7b76bf3871438e875145d41a9' is older than livecheck.version '037f1fa88fb439dca6f648ad48a3463256d69d8b'

last updated: 8 hours ago

btor2tools (math/btor2tools) Updated: 1 year ago Add to my watchlist 0