项目作者: hessammehr

项目描述 :
Dependency-aware declarative reaction scheduling in differential datalog
高级语言: Makefile
项目地址: git://github.com/hessammehr/react_rules_ddlog.git
创建时间: 2021-03-20T16:01:06Z
项目社区:https://github.com/hessammehr/react_rules_ddlog

开源协议:

下载


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.

  1. make reactions2 DDLOG_HOME=$HOME/Downloads/ddlog