finite-policy-difference

crystal open-source decision-diagrams equivalence-checking finite-domains lofrano-tecnologia
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.
Repository

finite-policy-difference

Owner
Statistic
  • 0
  • 0
  • 0
  • 0
  • 0
  • about 3 hours ago
  • November 10, 2026
License

MIT License

Links
Synced at

Tue, 10 Nov 2026 08:56:23 GMT

Languages
Crystal 84.54% Shell 10.18% Python 4.26% Dockerfile 1.02%