bokner

Total Owned Packages
6

Total Downloads
218 194

  • bitgraph0.1.16

    423 Downloads

    Mutable directed graph

  • fixpoint0.11.8

    6 802 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

    208 822 Downloads

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