1. Shlomi Fish
  2. fc-solve

Source

fc-solve / fc-solve / presets / soft-threads / meta-moves / auto-gen / optimize-seq / Makefile

all: find_opt.exe

find_opt.exe: Find-Optimized-Sequence/Find-Optimized-Sequence/find_opt.cs
	gmcs -out:$@ $<

test: all
	runprove t/*.t

results: all
	mono ./find_opt.exe find_optimal_quotas 300 

more_results: all
	mono ./find_opt.exe continue_find_optimal_quotas 300 \
		"$(FCS_DATA_DIR)/find_optimal_quotas-300.dump"