|
|
|
|
|
|
by UltraSane
615 days ago
|
|
|
I'm curious what your thoughts are on this paper [0]Lessons from the evolution of the Batfish configuration analysis tool. Initially they used Datalog but have since migrated to binary decision diagrams for performance reasons, the ability to more accurately model semantics, and more deterministic execution. [0]:https://dl.acm.org/doi/10.1145/3603269.3604866 |
|
|