Elm packages for working with Propositional and First Order Logic algorithms.
| Version | Published | |
|---|---|---|
| 10.1.0 | 1 Sep 2021 | unavailable |
| 10.0.0 | 1 Sep 2021 | unavailable |
| 9.0.0 | 9 Jul 2021 | unavailable |
| 8.1.0 | 9 Jul 2021 | unavailable |
| 8.0.4 | 9 Jul 2021 | unavailable |
| 8.0.3 | 7 Jul 2021 | unavailable |
| 8.0.2 | 5 Jul 2021 | unavailable |
| 8.0.1 | 5 Jul 2021 | unavailable |
| 8.0.0 | 27 Jun 2021 | unavailable |
| 7.2.0 | 22 Jun 2021 | unavailable |
| 7.1.0 | 21 Jun 2021 | unavailable |
| 7.0.0 | 20 Jun 2021 | unavailable |
| 6.0.0 | 11 Jun 2021 | unavailable |
| 5.0.0 | 3 May 2021 | unavailable |
| 4.0.0 | 1 May 2021 | unavailable |
| 3.0.0 | 1 May 2021 | unavailable |
| 2.0.1 | 17 Apr 2021 | rerouted, verified |
| 2.0.0 | 16 Apr 2021 | unavailable |
| 1.0.0 | 15 Apr 2021 | unavailable |