picosat_elixir 0.1.3
Bindings for the PicoSAT SAT solver
Links
License
Apache-2.0Downloads
-
246
246
this version -
504
504
yesterday -
2 401
2 401
last 7 days -
221.4K
221 444
all time
Versions (10)
Dependencies (1)
- elixir_make ~> 0.4
Recent Activity
- Dec 07, 2022 Publish documentation for release 0.2.3
- Dec 07, 2022 Publish release 0.2.3
- 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
Config
mix.exs
rebar.config
erlang.mk
Checksum
Build Tools
mix
make
Owners
Publisher
bitwalker