Package Details: btor2tools-git r60.1df768d-1

Git Clone URL: https://aur.archlinux.org/btor2tools-git.git (read-only)
Package Base: btor2tools-git
Description: A generic parser and tool package for the BTOR2 format.
Upstream URL: https://github.com/Boolector/btor2tools
Licenses: MIT
Submitter: deian
Maintainer: deian
Last Packager: deian
Votes: 0
Popularity: 0.000000
First Submitted: 2019-06-13 22:18
Last Updated: 2019-06-13 22:18

Dependencies (0)

Required by (1)

Sources (1)