Projects in Awesome Lists tagged with picat
A curated list of projects in awesome lists tagged with picat .
https://github.com/hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
ampl answer-set-programming choco comet constraint-programming constraint-satisfaction eclipse-clp essence frink gecode jacop jgap minizinc numberjack picat poplog prolog setl sicstus-prolog z3py
Last synced: 09 Apr 2025
https://github.com/yurrriq/advent-of-code
Semi-literate polyglot solutions to Advent of Code problems.
advent-of-code-2015 advent-of-code-2016 advent-of-code-2017 advent-of-code-2018 advent-of-code-2019 advent-of-code-2020 advent-of-code-2021 advent-of-code-2022 advent-of-code-2023 gap haskell idris lfe literate-programming nix noweb picat tufte-latex xelatex
Last synced: 14 Feb 2025
