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

#11 in #formal

MIT license

120KB
3K SLoC

differential-formula

Incremental Formal Modeling Using Logic Programming and Analysis

Dependencies

~12MB
~149K SLoC