picosat_elixir 0.2.3
Bindings for the PicoSAT SAT solver
Links
License
Apache-2.0Downloads
-
547.8K
547 785
this version -
697
697
yesterday -
5 310
5 310
last 7 days -
580K
580 006
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