Stats
Updated daily
solverl
v1.1.2
Elixir/Erlang interface to MiniZinc (https://www.minizinc.org/).
225.9K
Total
92
Yesterday
470
Last 7 days
fixpoint
v0.17.6
Constraint Programming Solver
18.9K
Total
14
Yesterday
643
Last 7 days
bitgraph
v0.4.3
Mutable directed graph
3.5K
Total
6
Yesterday
195
Last 7 days
inplace
v0.7.1
Mutable data structures
2.2K
Total
8
Yesterday
200
Last 7 days
replbug
v1.0.2
Replbug is an addition to Rexbug that allows to inspect Erlang VM traces as v...
2.1K
Total
0
Yesterday
18
Last 7 days
redbug_clone
v2.0.10
Clone of redbug
1.1K
Total
0
Yesterday
9
Last 7 days
fixpoint_sat
v0.1.5
SAT Solver
409
Total
0
Yesterday
15
Last 7 days