picosat_elixir 0.1.4
Bindings for the PicoSAT SAT solver
Links
License
Apache-2.0Downloads
-
1 087
1 087
this version -
382
382
yesterday -
1 774
1 774
last 7 days -
219.8K
219 793
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