bug fixed: scip_enfolp returns proper answer
portfolio FMCAD submission example
Merge branch 'master' of login.ccs.neu.edu:repositories/bct
FMCAD examples: pointer to arXiv report
Merge branch 'upstream/master'

Conflicts:
	frontend/db_eager_script.ml
	frontend/db_script.ml
	frontend/db_smt_script.ml
	frontend/mem.ml