rexact-check 0.2.0

Independent checker for Rexact equivalence certificates (shares no code with the engine)
Documentation
  • Coverage
  • 100%
    11 out of 11 items documented0 out of 1 items with examples
  • Size
  • Source code size: 74.2 kB This is the summed size of all the files inside the crates.io package for this release.
  • Documentation size: 291.9 kB This is the summed size of all files generated by rustdoc for all configured targets
  • Ø build duration
  • this release: 2s Average build duration of successful builds.
  • all releases: 2s Average build duration of successful builds in releases after 2024-10-23.
  • Links
  • Homepage
  • Repository
  • crates.io
  • Dependencies
    • —
  • Versions
  • Owners
  • aniket-3001

rexact-check

Independent checker for Rexact equivalence certificates (shares no code with the engine).

Part of Rexact, a regex equivalence and ReDoS tool that returns evidence with every verdict (a checkable certificate, a shortest counterexample, or an explicit "unknown" with the limit that was hit).

Licensed under MIT OR Apache-2.0.