https://github.com/VeriDeep/DLV
Revision 69e7bfa674f2b8b81ee6858ba153532cb7a56a21 authored by VeriDeep on 21 September 2017, 19:11:26 UTC, committed by GitHub on 21 September 2017, 19:11:26 UTC
1 parent 75a3870
Tip revision: 69e7bfa674f2b8b81ee6858ba153532cb7a56a21 authored by VeriDeep on 21 September 2017, 19:11:26 UTC
Update README.md
Update README.md
Tip revision: 69e7bfa
File | Mode | Size |
---|---|---|
Documents | ||
basics | ||
configuration | ||
data | ||
networks | ||
safety_check | ||
DLV.py | -rwxr-xr-x | 13.4 KB |
LICENSE | -rw-r--r-- | 34.3 KB |
README.md | -rw-r--r-- | 1.0 KB |
index.html | -rw-r--r-- | 56 bytes |
Computing file changes ...