Geeks
mirkospasic
/
SpeCS
SPARQL Query Containment Solver
Primary Language
SMT
SpeCS GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Stargazers
LorenzBuehmann
University of Leipzig