bokner
Total Owned Packages
6
Total Downloads
216 894
-
bitgraph0.1.12
337 Downloads
Mutable directed graph
-
fixpoint0.11.6
6 728 Downloads
Constraint Programming Solver
-
fixpoint_sat0.1.4
163 Downloads
SAT Solver
-
redbug_clone2.0.10
639 Downloads
Clone of redbug
-
replbug1.0.2
1 345 Downloads
Replbug is an addition to Rexbug that allows to inspect Erlang VM traces as variables in IEx
-
solverl1.0.16
207 682 Downloads
Elixir/Erlang interface to MiniZinc (https://www.minizinc.org/).
