#differential #formula #incremental #logic-programming #analysis #modeling #logic #formal

bin+lib differential-formula

Incremental Formal Modeling Using Logic Programming and Analysis

2 releases

0.1.1 Jan 6, 2020
0.1.0 Jan 5, 2020

MIT license

120KB
3K SLoC

differential-formula

Incremental Formal Modeling Using Logic Programming and Analysis

Dependencies

~10MB
~146K SLoC