Stats
Updated daily
solverl
v1.1.2
Elixir/Erlang interface to MiniZinc (https://www.minizinc.org/).
228.1K
Total
73
Yesterday
688
Last 7 days
fixpoint
v0.20.4
Constraint Programming Solver
20.6K
Total
27
Yesterday
801
Last 7 days
bitgraph
v0.4.5
Mutable directed graph
4.2K
Total
18
Yesterday
294
Last 7 days
inplace
v0.7.5
Mutable data structures
2.8K
Total
19
Yesterday
337
Last 7 days
replbug
v1.0.2
Replbug is an addition to Rexbug that allows to inspect Erlang VM traces as v...
2.2K
Total
4
Yesterday
50
Last 7 days
redbug_clone
v2.0.10
Clone of redbug
1.2K
Total
5
Yesterday
36
Last 7 days
fixpoint_sat
v0.1.8
SAT Solver
502
Total
6
Yesterday
48
Last 7 days