picosat_elixir 0.2.3
Bindings for the PicoSAT SAT solver
Links
License
Apache-2.0Downloads
-
291.3K
291 325
this version -
942
942
yesterday -
4 574
4 574
last 7 days -
323K
323 036
all time
Versions (10)
Dependencies (1)
- elixir_make ~> 0.6
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