rexact-check 0.2.0

Independent checker for Rexact equivalence certificates (shares no code with the engine)
Documentation 
1
2
3
4
5
6
7

# rexact-check

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

Part of [Rexact](https://github.com/aniket-3001/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.