source: experiments/frams/logic @ 232

Name Size Rev Age Author Last Change
../
data 212   11 years adam syntheticConjABRule(A,B) now properly collects entangled literals from …
readme-abduction.txt 1.4 KB 193   11 years Maciej Komosinski Set svn:eol-style native for all textual files
run-abduction.cmd 734 bytes 193   11 years Maciej Komosinski Set svn:eol-style native for all textual files
Note: See TracBrowser for help on using the repository browser.