Geeks
msv-lab
/
symlog
Symbolic executor of Datalog
Primary Language
Python
Universal Permissive License v1.0
UPL-1.0
symlog GitHub
Markdown
Readme
6
Issues
5
Stargazers
3
Watchers
Watchers
mechtaev
United Kingdom
ozf
Software Square, Byte Town, Logicstate, Computronia
rainLiuplus