Package Details: btor2tools-unstable-git r77.9831f99-2

Git Clone URL: https://aur.archlinux.org/btor2tools-unstable-git.git (read-only, click to copy)
Package Base: btor2tools-unstable-git
Description: A generic parser and tool package for the BTOR2 format.
Upstream URL: https://github.com/Boolector/btor2tools
Licenses: MIT
Conflicts: btor2tools-git
Submitter: abdullin.am
Maintainer: abdullin.am
Last Packager: abdullin.am
Votes: 0
Popularity: 0.000000
First Submitted: 2020-01-10 08:34
Last Updated: 2020-01-10 08:44

Dependencies (3)

Required by (1)

Sources (1)