Skip to content

nfzhou/Picat

Repository files navigation

Picat

This repository contains several simple and illustrative example programs written in Picat, ranging from recursion, parsing, to combinatorial search. Long programs written in Picat are available in several other repositories:

fzn_picat: A FlatZinc interpreter in Picat.

gcj: Picat solutions to some of the Google Code Jam problems.

geoquery: A Picat translation of the Geoquery Prolog program.

json: A parser for Json text.

lp-contest: Solutions to the ICLP programming contest problems.

PicatScripts: scripts for manipulating files and directories.

xcsp: An XCSP interpreter in Picat.

In addition, a large collection of Picat programs can be found at https://github.com/hakank/hakank/tree/master/picat.

About

programs written in Picat

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published