This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This is the configuration file for Sodium. | |
# | |
# You can find information on editing this file and all the available options here: | |
# https://github.com/spoorn/sodium-forge/blob/a75b718bd86ca6b70538afbcd070d598d808ef36/src/main/java/me/jellysquid/mods/sodium/common/config/SodiumConfig.java#L25 | |
# | |
# Comment out or remove the below line to enable Lithium (conflicts with some mods such as More Villagers) | |
mixin.ai=false | |
### ENABLE MCMT SUPPORT | |
# As of now, first problem is at world creating/opening stage (world never opens up) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[general] | |
#Globally disable all toggleable functionality | |
disabled = false | |
[general.parallelism] | |
#Other modes for paraMax | |
#Override: Standard but without the CoreCount Ceiling (So you can have 64k threads if you want) | |
#Reduction: Parallelism becomes Math.max(CoreCount-paramax, 2), if paramax is set to be -1, it's treated as 0 | |
#Todo: add more | |
#Allowed Values: Standard, Override, Reduction |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
using JuMP | |
using ConstraintSolver | |
using Random: shuffle | |
const CS = ConstraintSolver | |
function my_global_cardinality_count(model, a, gcc) | |
for (i, count) in enumerate(gcc) | |
# my_count_ctr(model, x, val, s) | |
my_count_ctr(model, a, i, count) | |
end |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# This is the configuration file for Sodium with all the default values | |
# | |
# You can find information on editing this file and all the available options here: | |
# https://github.com/spoorn/sodium-forge/blob/a75b718bd86ca6b70538afbcd070d598d808ef36/src/main/java/me/jellysquid/mods/sodium/common/config/SodiumConfig.java#L25 | |
# | |
### OPTIONS START HERE (certain options will have a descriptive comment above them) | |
# enables Lithium (conflicts with mods like More Villagers) | |
# set to true in source code, but overriden and set to false by default in config because of its conflicts |