petablox / difflog

Difflog: Synthesizing Datalog Programs using Numerical Relaxation

petablox/difflog Stargazers

5k3105
bion howard
bionicles
breandan
breandan
Nguyen Thanh Dat
datvo06
ebigram
ebigram
Jeff Carpenter
JeffCarpenter
梅子酒
meizjm3i
Daniel Mahler
mhlr
Nada Amin
namin
notaflower
Notaflower

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.