Skip to content

hessammehr/react_rules_ddlog

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

Dependency-aware declarative reaction scheduling in differential datalog

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published