implicit-predicates-oracle 0.0.1

Slow exact reference implementation used to test implicit-predicates
Documentation
  • Size
  • Source code size: 35.1 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 126.3 kB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 3s Average build duration of successful builds.
  • all releases: 3s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • Repository
  • crates.io
  • Dependencies
  • Versions
  • Owners
  • arezouski

implicit-predicates-oracle

Slow, exact reference implementation used to test implicit-predicates. It is meant for tests only, not for production use.

Status: early development. The API is limited to Dyadic, an exact dyadic rational number (arbitrary-precision mantissa times a power of two) with exact conversion from f64, addition, subtraction, multiplication, negation, sign and ordering.

License

Licensed under either of Apache License, Version 2.0 or MIT license, at your option.