source:
experiments/frams/logic/data/scripts
@
570
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| synthetic_tableau.inc | 7.2 KB | 169 | 11 years | A library of logic functions, an experiment definition that generates … | |
| synthetic_rules.inc | 4.0 KB | 212 | 11 years | syntheticConjABRule(A,B) now properly collects entangled literals from … | |
| logic_abduction.expdef | 8.5 KB | 480 | 9 years | experiment scripts updated to match the upcoming Framsticks version … | |
| literals_processing.inc | 8.0 KB | 169 | 11 years | A library of logic functions, an experiment definition that generates … | |
| lists_processing.inc | 2.7 KB | 169 | 11 years | A library of logic functions, an experiment definition that generates … | |
| formulas_processing.inc | 2.2 KB | 169 | 11 years | A library of logic functions, an experiment definition that generates … | |
| data_conversion.inc | 5.2 KB | 169 | 11 years | A library of logic functions, an experiment definition that generates … | |
| abduction_misc.inc | 2.3 KB | 169 | 11 years | A library of logic functions, an experiment definition that generates … | |
Note: See TracBrowser
for help on using the repository browser.
