Data.DCFL

data Distribution

data Values

data Variable

data ConstraintEl

data Solved

Distributions

initDistribution

cummDistribution

checkSolved

Variables

randomizeSingle

randomize

printVariables

Constraints

getConstraintsFor

justConstraints

Solving

Serial/Single Threaded

solve

update

updateEach

updateEachTimes

Parallelized

solveParallel

updateEachTimesParallel

updateEachParallel