Dmitry Tsarkov
Untitled project
factplusplus
Downloads
For large uploads, we recommend using the API.
Get instructions
Downloads
Tags
Branches
Branch
Commit
Date
Download
master
650a50c
2017-12-05
zip
gz
bz2
dynamic-backtracking
49eed75
2017-09-09
zip
gz
bz2
q_a
578ca84
2017-09-09
zip
gz
bz2
timings
eed2ab7
2017-09-09
zip
gz
bz2
split-concepts
a36252e
2017-09-09
zip
gz
bz2
v1_6
9666da9
2017-01-01
zip
gz
bz2