mirror of
https://github.com/captn3m0/modernart.git
synced 2024-07-26 20:43:28 +00:00
36 lines
753 B
Plaintext
36 lines
753 B
Plaintext
{
|
|
"builtinSolverConfigs": [
|
|
],
|
|
"openFiles": [
|
|
"artists.mzn",
|
|
"awards.mzn",
|
|
"dealing.mzn",
|
|
"double.mzn",
|
|
"functions.mzn",
|
|
"gameplay.mzn",
|
|
"modernart.mzn",
|
|
"ranking.mzn",
|
|
"ranking.mzn",
|
|
"sanity.mzn",
|
|
"scoring.mzn"
|
|
],
|
|
"openTab": 10,
|
|
"projectFiles": [
|
|
"artists.mzn",
|
|
"awards.mzn",
|
|
"dealing.mzn",
|
|
"double.mzn",
|
|
"functions.mzn",
|
|
"gameplay.mzn",
|
|
"modernart.mzn",
|
|
"ranking.mzn",
|
|
"sanity.mzn",
|
|
"scoring.mzn"
|
|
],
|
|
"projectSolverConfigs": [
|
|
],
|
|
"selectedBuiltinConfigId": "org.gecode.gecode",
|
|
"selectedBuiltinConfigVersion": "6.1.1",
|
|
"version": 105
|
|
}
|