Changeset 169 for experiments/frams
- Timestamp:
- 03/12/14 02:02:24 (11 years ago)
- Location:
- experiments/frams/logic
- Files:
-
- 13 added
-
. (added)
-
data (added)
-
data/scripts (added)
-
data/scripts/abduction_misc.inc (added)
-
data/scripts/data_conversion.inc (added)
-
data/scripts/formulas_processing.inc (added)
-
data/scripts/lists_processing.inc (added)
-
data/scripts/literals_processing.inc (added)
-
data/scripts/logic_abduction.expdef (added)
-
data/scripts/synthetic_rules.inc (added)
-
data/scripts/synthetic_tableau.inc (added)
-
readme-abduction.txt (added)
-
run-abduction.cmd (added)
Note: See TracChangeset
for help on using the changeset viewer.
