Bindings for the PicoSAT SAT solver
Current section
10 Versions
Jump to
Current section
10 Versions
Versions
December 07, 2022
September 09, 2022
August 29, 2021
August 29, 2021
September 21, 2020
June 10, 2020
December 26, 2019
December 26, 2019
December 13, 2019
December 13, 2019
| Version | Publish Date | Note | Actions |
|---|---|---|---|
| 0.2.3 | December 07, 2022 |
|
|
| 0.2.2 | September 09, 2022 |
|
|
| 0.2.1 | August 29, 2021 |
|
|
| 0.2.0 | August 29, 2021 |
|
|
| 0.1.5 | September 21, 2020 |
|
|
| 0.1.4 | June 10, 2020 |
|
|
| 0.1.3 | December 26, 2019 |
|
|
| 0.1.2 | December 26, 2019 |
|
|
| 0.1.1 | December 13, 2019 |
|
|
| 0.1.0 | December 13, 2019 |
Release invalid
missing Makefile
|
Checksum
Dependency Config
mix.exs
rebar.config
Gleam
erlang.mk
Package Details
this version
771 182
yesterday
1 815
last 7 days
10 318
all time
805 021
