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,
               libimmer-dev,
               nlohmann-json3-dev,
               bison,
               flex,
               ninja-build,
               llvm-dev,
               libclang-dev,
               libclang-cpp-dev,
               clang,
               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://salsa.debian.org/WeiqiWang/esbmc
Vcs-Git: https://salsa.debian.org/WeiqiWang/esbmc.git
Rules-Requires-Root: no

Package: esbmc
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends},
         python3,
         clang
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.
