| -1712025404 | | A model-finding language with Alloy-adjacent syntax. This package needs documentation This package needs license metadata | succeeds; has dependency problems; has failing tests | 5 |
| -1712025425 | | A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge. This package needs documentation This package needs license metadata | succeeds; has dependency problems; has failing tests | 5 |
| -1596548000 | | A racket port of the version of minikanren from the artifact of the ICFP 2017 Pearl, A Unified Approach to Solving Seven Programming Problems by William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might. Includes evalo-optimized. This package needs documentation This package needs license metadata | succeeds | 4 |
| -1596548002 | | Pre-compute procedures for fast checking of transitive implication and exclusion between simple predicates This package needs documentation This package needs license metadata | succeeds | 4 |
| -1688578420 | | A Planet 2 package for minikanren This package needs license metadata | succeeds | 2 |
| -1670021071 | | Racket non-determinism This package needs documentation This package needs license metadata | succeeds; has dependency problems | 4 |
| -1513635359 | | A language that is like Prolog, but parenthetical. This package needs license metadata | succeeds; has dependency problems | 2 |
| -1704806512 | | First order logic theorem prover in CNF without equality but with atom rewrite rules This package needs license metadata | succeeds | 2 |
| -1521803934 | | - This package needs license metadata | succeeds; has dependency problems | 2 |