Sushant-Padha

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

Sushant-Padha

# 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

Sushant-Padha

# 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)

Sushant-Padha

[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