Search Package Index

9 packages found

 PackageDescriptionBuild 

forge

A model-finding language with Alloy-adjacent syntax.

This package needs documentation

This package needs license metadata

succeeds; has dependency problems; has failing tests5

froglet

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 tests5

icfp2017-minikanren

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

succeeds4

impl-excl

Pre-compute procedures for fast checking of transitive implication and exclusion between simple predicates

This package needs documentation

Tags:

This package needs license metadata

succeeds4

minikanren

A Planet 2 package for minikanren

Tags:

This package needs license metadata

succeeds2

non-det

Racket non-determinism

This package needs documentation

Tags:

This package needs license metadata

succeeds; has dependency problems4

parenlog

A language that is like Prolog, but parenthetical.

Docs:

This package needs license metadata

succeeds; has dependency problems2

New

satore

First order logic theorem prover in CNF without equality but with atom rewrite rules

Docs:
Tags:

This package needs license metadata

succeeds2

zKanren

-

Docs:

This package needs license metadata

succeeds; has dependency problems2