Skip to content

Latest commit

 

History

History
9 lines (7 loc) · 464 Bytes

README.md

File metadata and controls

9 lines (7 loc) · 464 Bytes

Dependency-aware declarative reaction scheduling in differential datalog

To run, download differential datalog and install Rust (tested on Linux using DDLog 0.38.0 and Rust 1.50.0), then in the repository directory run make with the name of .dl file, specifying where to find ddlog e.g.

make reactions2 DDLOG_HOME=$HOME/Downloads/ddlog