#
# ChangeLog for experiments/frams
#
# Generated by Trac 1.2.1
# 12/21/24 17:40:34

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


Thu, 30 Jan 2014 01:10:53 GMT Maciej Komosinski [118]
	* experiments/frams/evolve-speed-vs-gravity/data/scripts/evolve-speed-vs-gravity.script (modified)

	added a comment that explains the role of the multiple evaluation
	phase


Thu, 30 Jan 2014 00:56:28 GMT Maciej Komosinski [117]
	* experiments/frams/evolve-speed-vs-gravity (added)
	* experiments/frams/evolve-speed-vs-gravity/data (added)
	* experiments/frams/evolve-speed-vs-gravity/data/scripts (added)
	* experiments/frams/evolve-speed-vs-gravity/data/scripts/evolve-speed-vs-gravity.script (added)
	* experiments/frams/evolve-speed-vs-gravity/exp-evol-speed (added)
	* experiments/frams/evolve-speed-vs-gravity/go-evol.cmd (added)
	* experiments/frams/evolve-speed-vs-gravity/readme.txt (added)
	* experiments/frams/multi-threading/readme.txt (added)

	sample script that demonstrates how to use Framsticks CLI to run ...


Sun, 26 Jan 2014 16:27:55 GMT Maciej Komosinski [116]
	* experiments (added)
	* experiments/frams (added)
	* experiments/frams/multi-threading (added)
	* experiments/frams/multi-threading/data (added)
	* experiments/frams/multi-threading/data/scripts (added)
	* experiments/frams/multi-threading/data/scripts/test-mt.script (added)
	* experiments/frams/multi-threading/test-mt-makeplots.cmd (added)
	* experiments/frams/multi-threading/test-mt-plots.py (added)
	* experiments/frams/multi-threading/test-mt.cmd (added)

	scripts useful to evaluate efficiency of parallel ...