pkhuong/timely-coherent-logic

An implementation of coherent logic with differential dataflow

Timely Coherent Logic

A solver for Coherent Logic that uses differential dataflow to match rules incrementally.