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

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

#14 in #formal

24 downloads per month

MIT license

120KB
3K SLoC

differential-formula

Incremental Formal Modeling Using Logic Programming and Analysis

Dependencies

~11MB
~145K SLoC