package coq-stdpp-bitvector
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A library for bitvectors based on std++
Install
Dune Dependency
Authors
Maintainers
Sources
coq-stdpp-1.11.0.tar.gz
sha512=0f8e6d9b07171da515f258516d6f430a97da0b07e111ceff89b760a6cac5bc443db9e60e256eab719768ed8fe5b86af42b66d0bf9fba4dba6ef2afa011b92244
Description
This library provides the bv n type for representing n-bit bitvectors (i.e.,
fixed-size integers with n bits). It comes with definitions for the standard operations
(e.g., the operations exposed by SMT-LIB) and some basic automation for solving bitvector
goals based on the lia tactic.
On This Page