tagged with equivalence-checking
Displaying 1-1 of 1 total results

martinlofranodeoliveira

martinlofranodeoliveira/finite-policy-difference

A symbolic comparison library for finite categorical first-match rule tables, producing exact outcome-region counts and a replayable input witness when two tables differ.

crystal open-source decision-diagrams equivalence-checking finite-domains lofrano-tecnologia
  • 0
  • 0
  • 0
  • 0
  • 0
  • about 3 hours ago