Difference: HALTaskList (16 vs. 17)

Line: 1 to 1
	HAL 1.0 Task List Backend Tasks
Line: 134 to 134
	HAL prep, mostly CN ~~(1d) K-way analysis for data collection (no tests yet)~~ ~~(1d) Feature extractor as a wrapped external target algorithm~~
Changed:
< <	(1d) "internal" target algorithms (to implement trained selector with; note not a meta-algorithmic procedure per LION def'n)
> >	~~(1d) "internal" target algorithms (to implement trained selector with; note not a meta-algorithmic procedure per LION def'n)~~ (2d) generic "selector which, given a trained model, extracts features, performs inference, and selects/runs a solver
	*zilla, w/LX (~2d) High-level control in Java (~2d) Model building and inference using Matlab from Java
Added:
> >	(~2d) Integration of pieces into complete SATzilla pkg
	(~2d?) UI elements (w CF?)
Added:
> >	(~2d) testing
	Hydra+HAL

HAL 1.0 Task List