cacol89
Untitled project
YADI
Downloads
For large uploads, we recommend using the API.
Get instructions
Downloads
Tags
Branches
Branch
Commit
Date
Download
master
28715e8
2013-01-27
zip
gz
bz2
develop
61e460e
2013-01-27
zip
gz
bz2
feature/agregate_functions
e535497
2013-01-26
zip
gz
bz2
feature/negation
24fa7fe
2013-01-26
zip
gz
bz2
feature/recursion
602205f
2013-01-25
zip
gz
bz2
feature/stratification
da4c927
2013-01-25
zip
gz
bz2
feature/error_reporting
08bbe34
2013-01-24
zip
gz
bz2
feature/command_arguments
f7a8b9e
2013-01-24
zip
gz
bz2
feature/auto_tests
a3ce13a
2013-01-23
zip
gz
bz2
feature/self_cross_prod
93353a8
2013-01-23
zip
gz
bz2
feature/automated_tests
41d025a
2012-12-29
zip
gz
bz2
feature/rule_union
58be5d2
2012-12-22
zip
gz
bz2
feature/pretty-print
dbe335d
2012-12-15
zip
gz
bz2
feature/inequations
c38162f
2012-12-09
zip
gz
bz2
feature/arity_check
a41d8e8
2012-11-26
zip
gz
bz2
feature/basic_equality_support
ee2d4f3
2012-11-15
zip
gz
bz2
substitutions
9bff282
2012-10-26
zip
gz
bz2
feature/import_schema
f243e05
2012-10-21
zip
gz
bz2
anonvar
4b8e426
2012-10-21
zip
gz
bz2