bokner avatar

bokner

Total Packages

7

Total Downloads

297 682+

boris.okner@gmail.com

Stats

Updated daily
solverl v1.1.2

Elixir/Erlang interface to MiniZinc (https://www.minizinc.org/).

0 20 40 60 80
240K Total
89 Yesterday
135 Last 7 days
fixpoint v0.22.7

Constraint Programming Solver

0 200 400 600 800
33.2K Total
14 Yesterday
152 Last 7 days
bitgraph v0.4.8

Mutable directed graph

0 50 100 150 200
10.1K Total
26 Yesterday
252 Last 7 days
inplace v0.7.13

Mutable data structures

0 50 100 150 200
8.9K Total
14 Yesterday
117 Last 7 days
replbug v1.0.2

Replbug is an addition to Rexbug that allows to inspect Erlang VM traces as v...

0 5 10 15 20
2.8K Total
1 Yesterday
8 Last 7 days
redbug_clone v2.0.10

Clone of redbug

0 5 10 15 20
1.7K Total
3 Yesterday
12 Last 7 days
fixpoint_sat v0.1.9

SAT Solver

0 10 20 30 40
1K Total
0 Yesterday
4 Last 7 days