picosat_elixir 0.2.2

Bindings for the PicoSAT SAT solver

License

Apache-2.0

Downloads

0 200 400 600 800 Last 30 days, all versions
  • 335 335
    this version
  • 40 40
    yesterday
  • 302 302
    last 7 days
  • 23 194 23 194
    all time

Versions (9)

Show All Versions

Dependencies (1)

Recent Activity

  • Sep 09, 2022 Publish documentation for release 0.2.2
  • Sep 09, 2022 Publish release 0.2.2
  • Aug 29, 2021 Publish documentation for release 0.2.1
  • Aug 29, 2021 Publish release 0.2.1
  • Aug 29, 2021 Publish documentation for release 0.2.0
  • Aug 29, 2021 Publish release 0.2.0
  • Sep 21, 2020 Publish documentation for release 0.1.5
  • Sep 21, 2020 Publish release 0.1.5
  • Jun 10, 2020 Publish documentation for release 0.1.4
  • Jun 10, 2020 Publish release 0.1.4

Show All Activities

Config

mix.exs
rebar.config
erlang.mk

Checksum

Build Tools

mix make

Owners

Publisher

bitwalker

Dependents (4)

ash, ash_policy_authorizer, ash_policy_access, ash_core, show all...