@hackage libBF0.5.1

A binding to the libBF library.

Categories
License
MIT
Maintainer
iavor.diatchki@gmail.com
Links
Versions
- 0.6.8 Wed, 5 Jun 2024
- 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

Installation
In your cabal file:
Dependencies (2)
- base >=4.12.0.0 && <5
- deepseq
Dependents (7)
@hackage/sbv, @hackage/crackNum, @hackage/cryptol, @hackage/grisette, @hackage/copilot-theorem, @hackage/what4, Show all…

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