picosat_elixir
Bindings for the PicoSAT SAT solver
Maintained on Hex by bitwalker
Latest version
0.2.3
Last run
3 days ago
Checks
9
| Target / check | Status | Firmware size | Run |
|---|---|---|---|
|
host
host
|
pass | — | picosat_elixir-0.2.3-1791068360468 |
|
nerves_system_bbb
2.30.2
|
pass | 22808528 | picosat_elixir-0.2.3-1791068360468 |
|
nerves_system_mangopi_mq_pro
0.17.2
|
pass | 25581157 | picosat_elixir-0.2.3-1791068360468 |
|
nerves_system_qemu_aarch64
0.4.2
|
pass | 28810583 | picosat_elixir-0.2.3-1791068360468 |
|
nerves_system_rpi0
2.1.2
|
pass | 32232994 | picosat_elixir-0.2.3-1791068360468 |
|
nerves_system_rpi4
2.1.2
|
pass | 41830180 | picosat_elixir-0.2.3-1791068360468 |
|
nerves_system_rpi5
2.1.2
|
pass | 55512181 | picosat_elixir-0.2.3-1791068360468 |
|
nerves_system_trellis
0.5.0
|
pass | 23327365 | picosat_elixir-0.2.3-1791068360468 |
|
nerves_system_x86_64
1.34.2
View log
|
fail | — | picosat_elixir-0.2.3-1791068360468 |
Add this badge to your README
It updates itself as picosat_elixir's compatibility is reassessed.
Markdown
HTML