GitHub - souffle-lang/benchmarks: Datalog benchmark suite

Name		Name	Last commit message	Last commit date
Latest commit History 67 Commits
bddbddb		bddbddb
benchmarks		benchmarks
calibrator		calibrator
results/i7-5820K/raw		results/i7-5820K/raw
souffle		souffle
z3		z3
.gitignore		.gitignore

About

Datalog benchmark suite

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages