Packages
Bindings for the PicoSAT SAT solver
Current section
Activity
Jump to
Current section
Activity
| Date | 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 |
| Jun 10, 2020 | Publish documentation for release 0.1.4 |
| Jun 10, 2020 | Publish release 0.1.4 |
| Dec 26, 2019 | Publish documentation for release 0.1.3 |
| Dec 26, 2019 | Publish release 0.1.3 |
| Dec 26, 2019 | Publish documentation for release 0.1.2 |
| Dec 26, 2019 | Publish release 0.1.2 |
| Dec 13, 2019 | Retire release 0.1.0 |
| Dec 13, 2019 | Publish documentation for release 0.1.1 |
| Dec 13, 2019 | Publish release 0.1.1 |
| Dec 13, 2019 | Publish documentation for release 0.1.0 |
| Dec 13, 2019 | Publish release 0.1.0 |
21
activities of
21
total
Checksum
Dependency Config
mix.exs
rebar.config
Gleam
erlang.mk
Package Details
Downloads
Last 30 days,
all versions
this version
877 258
yesterday
1 458
last 7 days
13 148
all time
911 952
