picat

There are 1 repository under picat topic.

• hakank / hakank

  My public programs and models - mostly combinatorial problems and puzzles

  constraint-programmingconstraint-satisfactionminizincpicatz3pygecodeessencejacopamplcometjgapfrinkprologanswer-set-programmingchocoeclipse-clpnumberjackpoplogsicstus-prologsetl
  Language:JavaScript 354

• DestyNova / advent_of_code_2021

  Solutions to the Advent of Code 2021 puzzles. All but one are in Haskell, with one or two Rust/Python versions, and day 24 needed the power of Picat.

  haskellpicat
  Language:Haskell 8

• yurrriq / advent-of-code

  Semi-literate polyglot solutions to Advent of Code problems.

  advent-of-code-2015advent-of-code-2016advent-of-code-2017advent-of-code-2018advent-of-code-2019advent-of-code-2020advent-of-code-2021advent-of-code-2022advent-of-code-2023gaphaskellidrislfeliterate-programmingnixnowebpicattufte-latexxelatex
  Language:Haskell 4

• abeaumont / aur-picat

  AUR package for Picat

  archlinuxaurpicat
  Language:Shell 1

• lparolari / setlog-picat

  Pure implementation of {log} in Picat, a logic language.

  picatsetlogset
  Language:Prolog 1

• boltomli / PicatEuler

  ProjectEuler spoiler based on Picat with pen and paper.

  projecteulerpicat
  Language:Python 0

• DestyNova / advent_of_code_2015

  Solving the 2015 Advent of Code puzzles with Picat

  picat
  Language:Shell 0

• dougedmunds / clp_downloadables

  Downloadable files for eCLiPse Constraint Logic Programming and Picat

  constraint-logic-programmingeclipse-clppicatvscode-extension
  0

• tongjy / aoc

  aoc

  aoc2020picat
  Language:Jupyter Notebook 0

• FuzzyNovaGoblin / picat_connect4

  picat

• lparolari / bachelor-thesis

  Bachelor thesis: design and implementation in Picat of a set constraint solver.

  picatsolverbachelor-thesislsetconstraints
  Language:TeX

• lparolari / bachelor-thesis-presentation

  My bachelor thesis presentation.

  picatsolverbachelor-thesislsetconstraintslogic-programming
  Language:TeX