CDCLsat

Total Downloads

Dependencies

31 packages (4 direct, 27 transitive)

Package	Depth ↑	Downloads ↓
DataStructures	Direct	1,476,945
Formatting	Direct	5,952
Term	Direct	1,172
RomanNumerals	Direct	329
OrderedCollections	Depth 2	1,479,909
PrecompileTools	Depth 2	120,353
Tables	Depth 2	86,448
AbstractTrees	Depth 2	46,608
UnicodeFun	Depth 2	24,679
Parameters	Depth 2	23,574
CodeTracking	Depth 2	21,865
Primes	Depth 2	20,926
ProgressLogging	Depth 2	11,724
Highlights	Depth 2	4,932
MyterialColors	Depth 2	1,049
DataAPI	Depth 3	1,446,249
Preferences	Depth 3	177,949
JSON	Depth 3	106,989
IteratorInterfaceExtensions	Depth 3	83,589
TableTraits	Depth 3	82,351
DataValueInterfaces	Depth 3	82,202
UnPack	Depth 3	27,819
IntegerMathUtils	Depth 3	20,771
Artifacts	Depth 3	649
SHA	Depth 3	122
TreeSitter	Depth 3	15
Parsers	Depth 4	121,538
StructUtils	Depth 4	71,448
CEnum	Depth 4	46,891
TOML	Depth 4	1,309
tree_sitter_jll	Depth 4	15

Dependents

No packages in the registry depend on this package.