interactive-dag

Crates.iointeractive-dag
lib.rsinteractive-dag
version0.0.1
sourcesrc
created_at2022-12-17 10:32:20.833586
updated_at2022-12-17 10:32:20.833586
descriptioninteractive/incremental DAG
homepage
repositoryhttps://github.com/qti3e/iDag
max_upload_size
id739744
size27,786
Parsa (qti3e)

documentation

README

Interactive DAG

An (not-yet) efficient incremental DAG for real-time type verification systems or other purposes.

Maintaining the topological ordering is based on the work presented in this paper:

A Dynamic Topological Sort Algorithm for Directed Acyclic Graphs
   DAVID J. PEARCE / PAUL H. J. KELLY
   Journal of Experimental Algorithmics (JEA)
   Volume 11, 2006, Article No. 1.7
   ACM New York, NY, USA
Commit count: 9

cargo fmt