picosat_elixir 0.2.3
Bindings for the PicoSAT SAT solver
Links
License
Apache-2.0Downloads
-
271.7K
271 687
this version -
124
124
yesterday -
3 407
3 407
last 7 days -
303.4K
303 368
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