mirror of https://github.com/captn3m0/modernart
You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
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
|
|
}
|