Giters
Maxime Nederkorn (mnederkorn)

mnederkorn

Geek Repo

2

followers

4

following

0

stars

Github PK Tool:Github PK Tool

Maxime Nederkorn's repositories

mnederkorn.github.io

Language:RubyLicense:GPL-3.0Stargazers:0Issues:0Issues:0

grest

Language:PythonStargazers:0Issues:0Issues:0

CoReS

Computation of Retracts encoded as SMT/SAT

Language:PythonLicense:MITStargazers:1Issues:0Issues:0

inv_chk

Invariant Checking of type graph language based on core graph computation

Language:PythonLicense:MITStargazers:1Issues:0Issues:0

ccq

Computation of minimal conjunctive queries via core graph computation

Language:PythonLicense:MITStargazers:1Issues:0Issues:0