#logic-programming #modeling #analysis #incremental #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

#8 in #formal

MIT license

120KB
3K SLoC

differential-formula

Incremental Formal Modeling Using Logic Programming and Analysis

Dependencies

~11MB
~200K SLoC