| -1768985830 New | | A complete Racket port of SPINdle (v2.2.4), a defeasible logic reasoning system for non-monotonic reasoning where conclusions can be defeated by stronger evidence or superior rules. | succeeds; has dependency problems; has failing tests | 5 |