↧
Source code checked in, #fb8170c9d3aa
experimental extension of TSPIL with (->&i) rule: (A->B)&(A->C) => A->B&C
View ArticleSource code checked in, #2b0ba330af0d
DkalBackends upgrade to vs2012+nuget add DatalogTranslator and DkalParser as projects in ModularEngine solution.
View ArticleSource code checked in, #e9be88acb398
SPILrnd: expose SPILsufarr & SPILhash. bugfix in leafkey
View ArticleSource code checked in, #ccc8d79804fc
PPIL: generalize stage1 for optional serialization (needed of BPIL,TPIL,SPILsufarr, not needed for others)
View ArticleSource code checked in, #56537e0a688b
update project settings to VS2013 (Community Edition)
View Article