Source: esbmc
Section: devel
Priority: optional
Maintainer: Weiqi Wang <lukewang19@icloud.com>
Build-Depends: debhelper-compat (= 13),
               cmake (>= 3.18.0),
               libboost-all-dev,
               libz3-dev,
               libgmp-dev,
               libfmt-dev,
               libyaml-cpp-dev,
               nlohmann-json3-dev,
               bison,
               flex,
               ninja-build,
               llvm-22-dev | llvm-21-dev | llvm-20-dev | llvm-19-dev | llvm-18-dev | llvm-17-dev | llvm-16-dev | llvm-14-dev,
               libclang-22-dev | libclang-21-dev | libclang-20-dev | libclang-19-dev | libclang-18-dev | libclang-17-dev | libclang-16-dev | libclang-14-dev,
               libclang-common-22-dev | libclang-common-21-dev | libclang-common-20-dev | libclang-common-19-dev | libclang-common-18-dev | libclang-common-17-dev | libclang-common-16-dev | libclang-common-14-dev,
               libclang-cpp22-dev | libclang-cpp21-dev | libclang-cpp20-dev | libclang-cpp19-dev | libclang-cpp18-dev | libclang-cpp17-dev | libclang-cpp16-dev | libclang-cpp14-dev,
               clang-22 | clang-21 | clang-20 | clang-19 | clang-18 | clang-17 | clang-16 | clang-14,
               gcc-multilib [amd64 i386],
               libc6-dev (>= 2.17),
               linux-libc-dev,
               python3-dev
Standards-Version: 4.7.4
Homepage: https://esbmc.org
Vcs-Browser: https://github.com/esbmc/esbmc
Vcs-Git: https://github.com/esbmc/esbmc.git
Rules-Requires-Root: no

Package: esbmc
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends},
         python3,
         clang-22 | clang-21 | clang-20 | clang-19 | clang-18 | clang-17 | clang-16 | clang-14 | clang,
         libclang-common-22-dev | libclang-common-21-dev | libclang-common-20-dev | libclang-common-19-dev | libclang-common-18-dev | libclang-common-17-dev | libclang-common-16-dev | libclang-common-14-dev
Recommends: python3-mypy
Description: Efficient SMT-based Context-Bounded Model Checker
 ESBMC is a context-bounded model checker for the verification of
 single- and multi-threaded C/C++ programs. It can automatically verify
 both predefined safety properties (e.g., bounds check, pointer safety,
 overflow) and user-defined program assertions.
 .
 ESBMC supports the Clang compiler as a frontend and uses SMT solvers
 to perform the verification. This package includes support for the Z3
 SMT solver and Python frontend.
