# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4

PortSystem          1.0
PortGroup           cmake 1.1
PortGroup           github 1.0

github.setup        Boolector btor2tools 037f1fa88fb439dca6f648ad48a3463256d69d8b
version             20230816
revision            0
checksums           rmd160  7c07ffdf1bd566088c77549e7cf7378e4dada538 \
                    sha256  d6a5836b9e26719c3b7fe1711d93d86ca4720dc9d4bac11d1fc006fa0a140965 \
                    size    87405

categories          math science
license             MIT
maintainers         nomaintainer

description         a generic parser and tools for the BTOR2 format

long_description    The Btor2Tools package provides {*}${description}.

github.tarball_from archive

compiler.c_standard 1999
compiler.cxx_standard 2011