#
# ChangeLog for experiments/frams/logic/data
#
# Generated by Trac 1.2.1
# 07/04/24 14:06:09

Fri, 25 Mar 2016 16:44:20 GMT sz [480]
	* experiments/frams/capture-the-flag/data/scripts/Flag.neuro (modified)
	* experiments/frams/capture-the-flag/data/scripts/FlagDef.neuro (modified)
	* experiments/frams/capture-the-flag/data/scripts/capture-the-flag.expdef (modified)
	* experiments/frams/capture-the-flag/data/scripts/threshold2.neuro (modified)
	* experiments/frams/deathmatch/data/scripts/deathmatch-levels.inc (modified)
	* experiments/frams/deathmatch/data/scripts/deathmatch-smellPopulation.neuro (modified)
	* experiments/frams/deathmatch/data/scripts/deathmatch.expdef (modified)
	* experiments/frams/evolve-speed-vs-gravity/data/scripts/evolve-speed-vs-gravity.script (modified)
	* experiments/frams/logic/data/scripts/logic_abduction.expdef (modified)
	* experiments/frams/multi-threading/data/scripts/test-mt.script (modified)

	experiment scripts updated to match the upcoming Framsticks version ...


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 ...