https://github.com/VeriDeep/DLV
Tip revision: 1ecb19b19f829411cbff42b163c3ad846b050688 authored by Min Wu on 05 February 2018, 15:50:21 UTC
Merge remote-tracking branch 'upstream/master'
Merge remote-tracking branch 'upstream/master'
Tip revision: 1ecb19b
File | Mode | Size |
---|---|---|
Documents | ||
MCTS | ||
basics | ||
configuration | ||
data | ||
networks | ||
safety_check | ||
DLV.py | -rwxr-xr-x | 20.1 KB |
LICENSE | -rw-r--r-- | 34.3 KB |
README.md | -rw-r--r-- | 2.1 KB |
index.html | -rw-r--r-- | 56 bytes |