A new automatic horn & KR solving userscript, with a focus on code readability and modularity. Note that the published userscript is generated by a JS bundler, so don't try to debug it directly. Instead, go to the script's GitHub repo (linked below) and download the source code. The repo has instructions on how to run the bundler yourself.
Φίλτρο: Τελευταίες 30 ημέρες Τελευταίες 365 ημέρες Οποτεδήποτε
| Ημερομηνία | Εγκαταστάσεις | Έλεγχοι ενημέρωσης |
|---|---|---|
| 2024-07-08 | 0 | 60 |
| 2024-07-09 | 1 | 64 |
| 2024-07-10 | 1 | 53 |
| 2024-07-11 | 2 | 70 |
| 2024-07-12 | 0 | 58 |
| 2024-07-13 | 1 | 51 |
| 2024-07-14 | 1 | 52 |
| 2024-07-15 | 0 | 58 |
| 2024-07-16 | 0 | 65 |
| 2024-07-17 | 0 | 68 |
| 2024-07-18 | 2 | 65 |
| 2024-07-19 | 0 | 49 |
| 2024-07-20 | 0 | 58 |
| 2024-07-21 | 1 | 58 |
| 2024-07-22 | 0 | 66 |
| 2024-07-23 | 0 | 60 |
| 2024-07-24 | 1 | 67 |
| 2024-07-25 | 3 | 56 |
| 2024-07-26 | 2 | 55 |
| 2024-07-27 | 3 | 58 |
| 2024-07-28 | 2 | 51 |
| 2024-07-29 | 1 | 68 |
| 2024-07-30 | 0 | 69 |
| 2024-07-31 | 1 | 60 |
| 2024-08-01 | 2 | 63 |
| 2024-08-02 | 0 | 58 |
| 2024-08-03 | 1 | 51 |
| 2024-08-04 | 0 | 54 |
| 2024-08-05 | 1 | 63 |
| 2024-08-06 | 0 | 44 |
