#
# ChangeLog for experiments/frams/logic/data/scripts/synthetic_rules.inc
#
# Generated by Trac 1.2.1
# 05/14/24 06:20:56

Fri, 04 Apr 2014 08:47:54 GMT adam [212]
	* experiments/frams/logic/data/scripts/synthetic_rules.inc (modified)

	syntheticConjABRule(A,B) now properly collects entangled literals ...


Wed, 12 Mar 2014 01:02:24 GMT Maciej Komosinski [169]
	* experiments/frams/logic (added)
	* experiments/frams/logic/data (added)
	* experiments/frams/logic/data/scripts (added)
	* experiments/frams/logic/data/scripts/abduction_misc.inc (added)
	* experiments/frams/logic/data/scripts/data_conversion.inc (added)
	* experiments/frams/logic/data/scripts/formulas_processing.inc (added)
	* experiments/frams/logic/data/scripts/lists_processing.inc (added)
	* experiments/frams/logic/data/scripts/literals_processing.inc (added)
	* experiments/frams/logic/data/scripts/logic_abduction.expdef (added)
	* experiments/frams/logic/data/scripts/synthetic_rules.inc (added)
	* experiments/frams/logic/data/scripts/synthetic_tableau.inc (added)
	* experiments/frams/logic/readme-abduction.txt (added)
	* experiments/frams/logic/run-abduction.cmd (added)

	A library of logic functions, an experiment definition that generates ...