{
	"folders": [
		{
			"path": "."
		},
		{
			"path": "../../../projects/contrib/dsd"
		},
		{
			"path": "../../../prog/contrib/zugzwang"
		}
	],
	"settings": {
		"cSpell.words": [
			"biblatex",
			"CREDAL",
			"Hirings",
			"interpretability",
			"println",
			"stablecore",
			"testset",
			"uminus"
		],
		"cSpell.enableFiletypes": [
			"latex"
		],
		"aspLanguage.setConfig": "config.json",
		"julia.environmentPath": "/home/fc/sci/projetos/zugzwang"
	}
}