-1727823976 | | 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 |
-1727823982 | | 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 |
-1728190170 New | | 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 |