bokner

Total Owned Packages
6

Total Downloads
196 685

  • bitgraph0.1.2

    66 Downloads

    Mutable directed graph

  • fixpoint0.11.2

    5 268 Downloads

    Constraint Programming Solver

  • fixpoint_sat0.1.4

    107 Downloads

    SAT Solver

  • redbug_clone2.0.10

    598 Downloads

    Clone of redbug

  • replbug1.0.2

    1 217 Downloads

    Replbug is an addition to Rexbug that allows to inspect Erlang VM traces as variables in IEx

  • solverl1.0.16

    189 429 Downloads

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