Index of /~degivry/evalgm/scripts

	Name	Last modified	Size	Description
	Parent Directory		-
	dzn2wcsp.sh	2013-12-02 11:53	349
	empty.evid	2013-12-02 11:53	2
	mzn2fzn.sh	2015-11-23 13:22	237
	uai2wcsp.sh	2015-11-23 13:23	163
	wcnf.mzn	2013-12-02 11:53	909
	wcnf2dzn.awk	2013-12-02 11:53	1.8K
	wcnf2wcsp.sh	2015-11-23 13:23	126
	wcsp-better-top	2013-12-02 11:53	1.6M
	wcsp-better-top.cc	2013-12-02 11:53	4.1K
	wcsp-better-top.sh	2015-11-23 13:23	109
	wcsp.mzn	2013-12-02 11:53	3.4K
	wcsp2dzn.awk	2013-12-02 11:53	2.9K
	wcsp2dzn.sh	2015-11-23 13:24	140
	wcsp2lp-direct.py	2013-12-02 11:53	6.8K
	wcsp2lp-support.py	2013-12-02 11:53	7.0K
	wcsp2lp.sh	2015-11-23 13:24	165
	wcsp2markov.py	2013-12-02 11:53	1.8K
	wcsp2markov.sh	2015-11-23 13:24	128
	wcsp2sat	2013-12-02 11:53	2.0M
	wcsp2sat.cc	2013-12-02 11:53	17K
	wcsp2sat.sh	2015-11-23 13:24	169