@hackage libBF0.6.7

A binding to the libBF library.

Categories
License
MIT
Maintainer
iavor.diatchki@gmail.com
Links
Versions
- 0.6.7 Wed, 29 Nov 2023
- 0.6.6 Mon, 17 Jul 2023
- 0.6.5.1 Mon, 29 Aug 2022
- 0.6.5 Mon, 29 Aug 2022
- 0.6.4 Thu, 11 Aug 2022
- 0.6.3 Wed, 15 Dec 2021

LibBF is a C library for working with arbitray precision IEEE 754 floating point numbers.

Installation
In your cabal file:
Dependencies (3)
- base >=4.12.0.0 && <5
- deepseq
- hashable >=1.3
Dependents (6)
@hackage/sbv, @hackage/crackNum, @hackage/cryptol, @hackage/copilot-theorem, @hackage/what4, @hackage/crux

Package Flags

system-libbf

(off by default)

Use system libbf instead